From 51d0ffeb17d92ba9c3f486f801a98ac1e56d0607 Mon Sep 17 00:00:00 2001 From: Brion Vibber Date: Wed, 20 Jul 2011 23:51:52 +0000 Subject: [PATCH] Revert non-functional parts of r82343 -- 'select' parameter that's never actually been exported or used, and was always being forced to true before being discarded anyway. --- includes/EditPage.php | 11 ++--------- 1 file changed, 2 insertions(+), 9 deletions(-) diff --git a/includes/EditPage.php b/includes/EditPage.php index 750771f5eb..958ea846e7 100644 --- a/includes/EditPage.php +++ b/includes/EditPage.php @@ -2330,10 +2330,8 @@ HTML * filename of the button image (without path), the opening * tag, the closing tag, optionally a sample text that is * inserted between the two when no selection is highlighted - * and an option to select which switches the automatic - * selection of inserted text (default is true, see - * mw-editbutton-image). The tip text is shown when the user - * moves the mouse over the button. + * and. The tip text is shown when the user moves the mouse + * over the button. * * Also here: accesskeys (key), which are not used yet until * someone can figure out a way to make them work in @@ -2394,7 +2392,6 @@ HTML 'sample' => wfMsg( 'image_sample' ), 'tip' => wfMsg( 'image_tip' ), 'key' => 'D', - 'select' => true ) : false, $imagesAvailable ? array( 'image' => $wgLang->getImageFile( 'button-media' ), @@ -2450,10 +2447,6 @@ HTML continue; } - if( !isset( $tool['select'] ) ) { - $tool['select'] = true; - } - $params = array( $image = $wgStylePath . '/common/images/' . $tool['image'], // Note that we use the tip both for the ALT tag and the TITLE tag of the image. -- 2.20.1