wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-14 19:14:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Make use of new WikiEditor 2010 toggle tool"

Browse source
This commit is contained in:
jenkins-bot 2018-08-21 19:15:43 +00:00 committed by Gerrit Code Review
parent bd280f06af e8fbe62ef0
commit c6e794f1e1
2 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -12,7 +12,7 @@
"requires": {
"MediaWiki": ">= 1.32.0",
"extensions": {
"WikiEditor": "*"
"WikiEditor": ">= 0.5.2"
}
},
"Hooks": {

8
modules/jquery.codeEditor.js
View file

@ -216,7 +216,7 @@
tools: {
codeEditor: {
labelMsg: 'codeeditor-toolbar-toggle',
type: 'button',
type: 'toggle',
oouiIcon: 'markup',
action: {
type: 'callback',
@ -252,7 +252,7 @@
tools: {
invisibleChars: {
labelMsg: 'codeeditor-invisibleChars-toggle',
type: 'button',
type: 'toggle',
oouiIcon: 'pilcrow',
action: {
type: 'callback',
@ -261,7 +261,7 @@
},
lineWrapping: {
labelMsg: 'codeeditor-lineWrapping-toggle',
type: 'button',
type: 'toggle',
oouiIcon: 'wrapping',
action: {
type: 'callback',
@ -279,7 +279,7 @@
},
toggleSearchReplace: {
labelMsg: 'codeeditor-searchReplace-toggle',
type: 'button',
type: 'toggle',
oouiIcon: 'articleSearch',
action: {
type: 'callback',