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

Make use of new WikiEditor 2010 toggle tool

Browse source 
Set a specific WikiEditor version dependency of 0.5.2.

Bug: T198781
Change-Id: I6664a7ff2383d83c7d0fa1fd45e2539fad40c1d0
Depends-On: I8b7fd41571a48fa4f6560790d94bb966972e740f
This commit is contained in:
Derk-Jan Hartman 2018-07-25 01:13:06 +02:00 committed by James D. Forrester
parent 249b5c1c73
commit e8fbe62ef0
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',