Remove duplicate file extensions from output messages
authorBrion Vibber <brion@pobox.com>
Wed, 25 Sep 2013 19:52:00 +0000 (12:52 -0700)
committerKrinkle <krinklemail@gmail.com>
Fri, 27 Sep 2013 17:49:21 +0000 (17:49 +0000)
commit3cfc7d5df1f1013a7083c8225fae716660a06ad6
tree41c6ad50388f4d5dc7f00e8509a3902a2446383b
parentaa6f866bd196e666b9c6e295733276d6a018dbba
Remove duplicate file extensions from output messages

If a file type was added to $wgFileExtensions by both local configuration
and defaults in an extension (eg TimedMediaHandler and LocalSettings.php
both adding 'ogg' and 'ogv') it was being listed twice in the UI messages
listing acceptable types.

Runs array_unique() over the array on various outputs.

Bug: 54378
Change-Id: I14cd098d8b27099f8f803630535f33549740295c
includes/api/ApiQuerySiteinfo.php
includes/api/ApiUpload.php
includes/resourceloader/ResourceLoaderStartUpModule.php
includes/specials/SpecialUpload.php
includes/upload/UploadBase.php