wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 23:05:35 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
Krenair e7787db92d Remove edit tab from the DOM if it's hidden 
Fixed bug 64142, works around bug 65292

Bug: 64142
Bug: 65292
Change-Id: I31d8f7b149d657a678ed6ebc56b92305934f34bc
2014-05-17 00:56:38 +01:00
..
ve.init.mw.MobileViewTarget.js Changing formatting of Cite drop-down for mobile/tablet interface 2014-05-13 16:49:22 -07:00
ve.init.mw.ViewPageTarget.init.js Remove edit tab from the DOM if it's hidden 2014-05-17 00:56:38 +01:00
ve.init.mw.ViewPageTarget.js Set up edit notices for things like unknown browsers on each activation 2014-05-15 21:01:30 +01:00