wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-02 09:57:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
Ed Sanders 332aa1f3d2 build: Update eslint-config-wikimedia to 0.11.0 
Change-Id: I5a294705eed1760e2d4dde33934d2ffb12e29525
2019-02-20 20:23:43 +00:00
..
ve.init.mw.DesktopArticleTarget.init.js build: Update eslint-config-wikimedia to 0.11.0 2019-02-20 20:23:43 +00:00
ve.init.mw.DesktopArticleTarget.js build: Update eslint-config-wikimedia to 0.11.0 2019-02-20 20:23:43 +00:00
ve.init.mw.MobileArticleTarget.js ve.init.mw.MobileArticleTarget: Change "back" tool icon from "<" to "x" 2019-02-13 00:29:24 +01:00