wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-28 16:20:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Follow-up 335b56728: Reality doesn't run in perma-debug mode :-)

Browse source 
Change-Id: I042b907263a5ec40a277803d73c6bbd5e161b0f0
This commit is contained in:
James D. Forrester 2017-03-16 17:09:10 -07:00
parent e035c1de08
commit fc332c69e7
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
extension.json
View file

@ -1773,7 +1773,7 @@
]
},
"ext.visualEditor.diffing": {
"debugScripts": [
"scripts": [
"lib/ve/src/ve.DiffTreeNode.js",
"lib/ve/src/ve.DiffMatchPatch.js",
"lib/ve/src/dm/ve.dm.VisualDiff.js",