specials: Combine small miscellaneous 'mediawiki.special.*' modules
authorTimo Tijhof <krinklemail@gmail.com>
Fri, 14 Jun 2019 17:30:28 +0000 (18:30 +0100)
committerKrinkle <krinklemail@gmail.com>
Tue, 2 Jul 2019 13:56:47 +0000 (13:56 +0000)
commit419849211e3a638884f13d9a7a7f43b898d1d2a4
tree603f7a5b56481e9eba00a12162350b13d8f59e56
parent151bd20fab99618e250b035b8e3f129775b0ca3a
specials: Combine small miscellaneous 'mediawiki.special.*' modules

The format for this would be cleaner if T225842 were solved.

Bug: T193826
Bug: T219342
Change-Id: I9aaa52b567db254e1e79649b3b99260214da74b3
12 files changed:
includes/specials/SpecialChangeCredentials.php
includes/specials/SpecialMovepage.php
includes/specials/SpecialPageLanguage.php
resources/Resources.php
resources/src/mediawiki.misc-authed-ooui/special.changecredentials.js [new file with mode: 0644]
resources/src/mediawiki.misc-authed-ooui/special.movePage.js [new file with mode: 0644]
resources/src/mediawiki.misc-authed-ooui/special.mute.js [new file with mode: 0644]
resources/src/mediawiki.misc-authed-ooui/special.pageLanguage.js [new file with mode: 0644]
resources/src/mediawiki.special.changecredentials.js [deleted file]
resources/src/mediawiki.special.movePage.js [deleted file]
resources/src/mediawiki.special.mute.js [deleted file]
resources/src/mediawiki.special.pageLanguage.js [deleted file]