Correct button colours of preference page when $wgUseMediaWikiUIEverywhere is enabled
authorjdlrobson <jdlrobson@gmail.com>
Mon, 1 Sep 2014 19:36:06 +0000 (20:36 +0100)
committerJdlrobson <jrobson@wikimedia.org>
Wed, 17 Sep 2014 00:00:38 +0000 (00:00 +0000)
commit274978205c0ef8e06f2de183660331004dd5fd41
treed5ce84d69c90a29c9eff04b4d67279f3ed67a6c5
parenta01e85de7d06382681dc8e5a9bf112805dd7cdfa
Correct button colours of preference page when $wgUseMediaWikiUIEverywhere is enabled

* Apply mw-ui-destructive to Special:Preferences/Reset
  when $wgUseMediaWikiUIEverywhere is enabled

Introduces HTMLForm->setSubmitDestructive()

Bug: 65317
Change-Id: I1d6691dce3e7dab662bda9a718e16c5caee6c041
includes/Preferences.php
includes/htmlform/HTMLForm.php
includes/specials/SpecialPreferences.php