Fix submit button id on Special:Preferences
authorBartosz Dziewoński <matma.rex@gmail.com>
Wed, 13 Sep 2017 19:58:25 +0000 (21:58 +0200)
committerBartosz Dziewoński <matma.rex@gmail.com>
Wed, 13 Sep 2017 20:06:51 +0000 (22:06 +0200)
commit352cea4a94038f3722b084f3fbc47e20061c5e9c
tree4145da4eb07bb76f27cfdca88a2edc7c93da1916
parent5d32b3f6b349dd0386787d5c60fc40e1e23cc1b7
Fix submit button id on Special:Preferences

For reasons beyond human fathoming, the button had the id set
to 'prefsubmit' in PHP code and then changed to 'prefcontrol'
in JS code. This functionality has been carefully preserved
across multiple rewrites of this code since 2004, when it was
added in 30d0ccd0 (rSVN3618). Let's just set the id in PHP.

Change-Id: Ib23bd0e481e73a51ff0a16731f47a2df11b2c1b8
includes/Preferences.php
maintenance/dictionary/mediawiki.dic
resources/src/mediawiki.special/mediawiki.special.preferences.js