Remove dead mime_content_type() code paths
authorKevin Israel <pleasestand@live.com>
Fri, 18 Jul 2014 06:05:26 +0000 (02:05 -0400)
committerKrinkle <krinklemail@gmail.com>
Wed, 3 Sep 2014 16:35:35 +0000 (16:35 +0000)
commiteac059c7224228b363b59080568faf062eaa86f2
tree56e248213183c6edd8b875f510d51e347de036d4
parent8a54fcee95a4dfb32030173497c7959b54a675c4
Remove dead mime_content_type() code paths

Since PHP 5.3, mime_content_type() is implemented as part of PHP's
fileinfo extension and thus is deprecated in favor of the newer
alternatives provided by that extension (already in use).

Also updated a comment in DefaultSettings.php that mentioned the
function. Did not modify lessc.inc.php, a third-party library
maintained separately from MediaWiki.

Change-Id: Ic4a0873989ddb634ec9a05c3340941a9ba3f5ec5
includes/DefaultSettings.php
includes/MimeMagic.php
includes/libs/CSSMin.php