From 3c86340129cb842e3ba40f03912a0c18ef312775 Mon Sep 17 00:00:00 2001 From: Andrew Garrett Date: Wed, 21 Apr 2010 14:19:04 +0000 Subject: [PATCH] Eliminate $wgLivePreview toggle for the uselivepreview preference --- includes/Preferences.php | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/includes/Preferences.php b/includes/Preferences.php index 13eecd4b82..d2ce5cef70 100644 --- a/includes/Preferences.php +++ b/includes/Preferences.php @@ -640,7 +640,7 @@ class Preferences { } static function editingPreferences( $user, &$defaultPreferences ) { - global $wgUseExternalEditor, $wgLivePreview, $wgAllowUserCssPrefs; + global $wgUseExternalEditor, $wgAllowUserCssPrefs; ## Editing ##################################### $defaultPreferences['cols'] = array( @@ -729,13 +729,12 @@ class Preferences { 'label-message' => 'tog-forceeditsummary', ); - if ( $wgLivePreview ) { - $defaultPreferences['uselivepreview'] = array( - 'type' => 'toggle', - 'section' => 'editing/advancedediting', - 'label-message' => 'tog-uselivepreview', - ); - } + + $defaultPreferences['uselivepreview'] = array( + 'type' => 'toggle', + 'section' => 'editing/advancedediting', + 'label-message' => 'tog-uselivepreview', + ); } static function rcPreferences( $user, &$defaultPreferences ) { -- 2.20.1