This change puts extensions that have an unknown type into the 'other' category,...
authorJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Mon, 9 Aug 2010 01:12:21 +0000 (01:12 +0000)
committerJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Mon, 9 Aug 2010 01:12:21 +0000 (01:12 +0000)
commit7ccafbc1aa41769948d2d1fbfc01ae2eb84a94b9
tree2bb9317e40935622c3578562b35d1e5cd9329a66
parent8be2cf67a83c09e3e234423e1494db3a4e54a159
This change puts extensions that have an unknown type into the 'other' category, instead of not displaying them at all, and ensures this category is displayed as the last one (not careful use of SpecialVersionExtensionTypes broke this).
includes/specials/SpecialVersion.php