Merge "Remove dead mime_content_type() code paths"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 3 Sep 2014 23:40:53 +0000 (23:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 3 Sep 2014 23:40:53 +0000 (23:40 +0000)
commit67a8829cd572022cdfe6e24598ad7e3557a9db98
tree98dd67b2dc12e16fddabbe869ec6d1179eb0d60f
parent1e78807f0d2b42fa4c9e788a1b7cca6d39f0e842
parenteac059c7224228b363b59080568faf062eaa86f2
Merge "Remove dead mime_content_type() code paths"
includes/DefaultSettings.php