wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 18:39:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
James D. Forrester 57aad56a7b Enable edit tab setup on appropriate Special pages 
Using the forthcoming wgRelevantPageIsProbablyEditable.

Bug: T165010
Depends-On: I6c6ca1cfd93e7be917952980f1e1d57aec3a1292
Change-Id: I6c6ca1cfd93e7be917952980f1e1d57aec3a1229
2017-05-15 11:14:29 +01:00
..
ve.init.mw.DesktopArticleTarget.init.js Enable edit tab setup on appropriate Special pages 2017-05-15 11:14:29 +01:00
ve.init.mw.DesktopArticleTarget.js DesktopArticleTarget: only destroy notices tool if it exists 2017-04-26 18:03:39 +00:00
ve.init.mw.MobileArticleTarget.js *ArticleTarget: Don't trust oldid in the query string, it lies 2017-03-24 00:30:00 +00:00