Merge "Remove button-math"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 7 Apr 2014 09:38:35 +0000 (09:38 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 7 Apr 2014 09:38:35 +0000 (09:38 +0000)
includes/EditPage.php
languages/messages/MessagesEn.php
skins/common/images/button_math.png [deleted file]

index c0d8d26..935741e 100644 (file)
@@ -3419,15 +3419,6 @@ HTML
                                'tip'    => wfMessage( 'media_tip' )->text(),
                                'key'    => 'M'
                        ) : false,
-                       class_exists( 'MathRenderer' ) ? array(
-                               'image'  => $wgLang->getImageFile( 'button-math' ),
-                               'id'     => 'mw-editbutton-math',
-                               'open'   => "<math>",
-                               'close'  => "</math>",
-                               'sample' => wfMessage( 'math_sample' )->text(),
-                               'tip'    => wfMessage( 'math_tip' )->text(),
-                               'key'    => 'C'
-                       ) : false,
                        array(
                                'image'  => $wgLang->getImageFile( 'button-nowiki' ),
                                'id'     => 'mw-editbutton-nowiki',
index 05db874..e65891a 100644 (file)
@@ -518,7 +518,6 @@ $imageFiles = array(
        'button-headline' => 'button_headline.png',
        'button-image'    => 'button_image.png',
        'button-media'    => 'button_media.png',
-       'button-math'     => 'button_math.png',
        'button-nowiki'   => 'button_nowiki.png',
        'button-sig'      => 'button_sig.png',
        'button-hr'       => 'button_hr.png',
diff --git a/skins/common/images/button_math.png b/skins/common/images/button_math.png
deleted file mode 100644 (file)
index 507e4b5..0000000
Binary files a/skins/common/images/button_math.png and /dev/null differ