wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
Bartosz Dziewoński 259aadaf12 Revert "Disable VE on Special:Undelete" 
No longer needed. The underlying problem was fixed in
1aae17c7a5.

Bug: T173154
Bug: T174748
Change-Id: If10301ee78ba031238a11a9f9b2130a2b47a567c
2018-11-05 18:41:05 +01:00
..
ve.init.mw.DesktopArticleTarget.init.js Revert "Disable VE on Special:Undelete" 2018-11-05 18:41:05 +01:00
ve.init.mw.DesktopArticleTarget.js Use mw.Title.isTalkNamespace 2018-09-14 13:37:17 +01:00
ve.init.mw.MobileArticleTarget.js Move 'done' tool out of static config 2018-10-03 22:37:48 +01:00