MariaDB Support?

[robertsilen]

Hello, I noticed the install-requirements docs for 1.6.x and 1.5.x only mention mysql, and not mariadb. Same for the README. Considering most distros run MariaDB by default it would only be fair to also mention MariaDB, and remove any compatibility doubt for users. Ok if I submit a PR?

[alecpl]

I guess we can mention MariaDB in some docs. From a PHP perspective there's no MariaDB driver (yet), only Mysql.

[robertsilen]

I guess we can mention MariaDB in some docs. From a PHP perspective there's no MariaDB driver (yet), only Mysql.

From my understanding the PHP works over a MySQL protocol that does not limit what database is used over it. See https://www.php.net/manual/en/set.mysqlinfo.php

I hope these suggested PRs are ok and can be merged? :)
README: #9595
1.5 INSTALL: #9596
1.6 INSTALL: #9597