Rephrase 'config-using531' per suggestion of Krinkle: "Granted the bug is in PHP...
authorSiebrand Mazeland <siebrand@users.mediawiki.org>
Mon, 7 Mar 2011 12:13:14 +0000 (12:13 +0000)
committerSiebrand Mazeland <siebrand@users.mediawiki.org>
Mon, 7 Mar 2011 12:13:14 +0000 (12:13 +0000)
commit98d43919bd4ef0b77c7ddd1cb090f892025c7402
tree152edc9fd28d03d4408679ef6a20f738531d748c
parent8f0a89efcb6b3cd5aadcbd986e259c3002ad60b9
Rephrase 'config-using531' per suggestion of Krinkle: "Granted the bug is in PHP, but imho "PHP" isn't compatible with MediaWiki, it's the other way around."

Also removed the link to the PHP bug report. Not that relevant for the user installing MediaWiki.
includes/installer/Installer.i18n.php