Mention MariaDB first, before MySQL in installer.
authorBrian Wolff <bawolff+wn@gmail.com>
Sat, 7 Jul 2018 15:57:36 +0000 (15:57 +0000)
committerBrian Wolff <bawolff+wn@gmail.com>
Thu, 12 Jul 2018 17:07:54 +0000 (17:07 +0000)
commit43b0e87affebc6691cb39442476689b88840adfb
treec507fbce15d7e8cb78044b635d5ae9a93c0a8e24
parentc07b08b36c73e1f09d19ba384a0fe1e5b77852ba
Mention MariaDB first, before MySQL in installer.

At this point all WMF servers have been using MariaDB for a while
now. This defacto makes MariaDB the primary target for MediaWiki.
I think we should thus word the installer options as MariaDB
being the primary thing, and mysql being compatible with it,
instead of the other way around.

Also fix reference to debian package php5-mysql. We live in a php 7
world.

Change-Id: Ide585714b1476f9b1b51e032d12c075e1a53de06
includes/installer/i18n/en.json