Merge "Remove unused setting $wgImageMagickIdentifyCommand"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 17 Feb 2014 03:05:09 +0000 (03:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 17 Feb 2014 03:05:09 +0000 (03:05 +0000)
commit5a38e4b22cf7d4659fa43b2237a248c7ff17d265
tree8a35736d85e99764d85511d0ccb0a4b6f377fd7b
parente552fd3b1eef30f3f7ca615b7d83c19741c53b9a
parent492e9569bce2028b39092b06160621cb6649db06
Merge "Remove unused setting $wgImageMagickIdentifyCommand"
includes/DefaultSettings.php