From 9db190c7e736ec8d063187d4241b59feaf7dc2d1 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Wed, 22 Jun 2011 11:28:20 +0200 Subject: update to MediaWiki 1.17.0 --- includes/specials/SpecialPreferences.php | 37 +++++++++++++++++++++++++++----- 1 file changed, 32 insertions(+), 5 deletions(-) (limited to 'includes/specials/SpecialPreferences.php') diff --git a/includes/specials/SpecialPreferences.php b/includes/specials/SpecialPreferences.php index 4c8bbb09..e63aeee6 100644 --- a/includes/specials/SpecialPreferences.php +++ b/includes/specials/SpecialPreferences.php @@ -1,5 +1,31 @@ showResetForm(); return; } - - $wgOut->addScriptFile( 'prefs.js' ); + + $wgOut->addModules( 'mediawiki.legacy.prefs' ); + $wgOut->addModules( 'mediawiki.special.preferences' ); if ( $wgRequest->getCheck( 'success' ) ) { $wgOut->wrapWikiMsg( - '
$1
', + "
\n$1\n
", 'savedprefs' ); } if ( $wgRequest->getCheck( 'eauth' ) ) { - $wgOut->wrapWikiMsg( "
\n$1
", + $wgOut->wrapWikiMsg( "
\n$1\n
", 'eauthentsent', $wgUser->getName() ); } -- cgit v1.2.3-54-g00ecf