Merge "Remove $wgUseTeX for checking if editing tools should be shown"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 29 Jan 2014 17:15:56 +0000 (17:15 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 29 Jan 2014 17:15:56 +0000 (17:15 +0000)
commit9d0b230b6573366ab48c3e57f9f6dac8092c671a
treeedaf7eb751e8fc502b95f66fb617132ef9c07c26
parenta51ae81f11bd9abb4bb8e2a4924b6117f0ae2537
parentf4ecc574f0d2b65aafde269780e2a4cdc1642424
Merge "Remove $wgUseTeX for checking if editing tools should be shown"
includes/EditPage.php