Remove unused setting $wgImageMagickIdentifyCommand
authorThis, that and the other <at.light@live.com.au>
Sun, 16 Feb 2014 05:40:06 +0000 (16:40 +1100)
committerTTO <at.light@live.com.au>
Sun, 16 Feb 2014 05:44:57 +0000 (05:44 +0000)
commit492e9569bce2028b39092b06160621cb6649db06
tree1816f2294ee93fe54de1f1aee48144a11d1ad4d2
parent157bda926854ea7e6b976cff4dd1d7c44793d475
Remove unused setting $wgImageMagickIdentifyCommand

No need to deprecate first, as it is simply unused.

It was added in r107351, and its only usage was removed in
r108141.

Change-Id: Ie95d8b707ac1ff2fe2a9bae6d5f77ba68b4291ad
includes/DefaultSettings.php