wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-15 02:04:02 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Don't assume action=edit/submit is the old wikitext editor"

Browse source
This commit is contained in:
jenkins-bot 2017-08-28 10:44:40 +00:00 committed by Gerrit Code Review
parent f6f2287a8c 41f57b2184
commit 1e1a55600e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
resources/ext.CodeMirror.js
View file

@ -465,7 +465,7 @@
}
// If view is in edit mode, add the button to the toolbar.
if ( $.inArray( mw.config.get( 'wgAction' ), [ 'edit', 'submit' ] ) !== -1 ) {
if ( $( '#wpTextbox1' ).length ) {
// Check if the user is using the enhanced editing toolbar (supplied by the
// WikiEditor extension) or the default editing toolbar (supplied by core).
if ( wikiEditorToolbarEnabled ) {