diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:15:42 +0100 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2015-12-17 09:44:51 +0100 |
commit | a1789ddde42033f1b05cc4929491214ee6e79383 (patch) | |
tree | 63615735c4ddffaaabf2428946bb26f90899f7bf /includes/specials/SpecialPreferences.php | |
parent | 9e06a62f265e3a2aaabecc598d4bc617e06fa32d (diff) |
Update to MediaWiki 1.26.0
Diffstat (limited to 'includes/specials/SpecialPreferences.php')
-rw-r--r-- | includes/specials/SpecialPreferences.php | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/includes/specials/SpecialPreferences.php b/includes/specials/SpecialPreferences.php index 7371da74..4b75e5f6 100644 --- a/includes/specials/SpecialPreferences.php +++ b/includes/specials/SpecialPreferences.php @@ -50,7 +50,14 @@ class SpecialPreferences extends SpecialPage { if ( $this->getRequest()->getCheck( 'success' ) ) { $out->wrapWikiMsg( - "<div class=\"successbox\">\n$1\n</div>", + Html::rawElement( + 'div', + array( + 'class' => 'mw-preferences-messagebox successbox', + 'id' => 'mw-preferences-success' + ), + Html::element( 'p', array(), '$1' ) + ), 'savedprefs' ); } |