wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-17 19:31:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/init/targets
History
Ed Sanders 1bb72f0bb5 Replace deprecated easy-deflate.deflate with mediawiki.deflate 
Change-Id: I5c77d4818074fd3dc937d7688d449952b92ee358
2019-10-30 19:13:47 +00:00
..
ve.init.mw.ArticleTarget.js Replace deprecated easy-deflate.deflate with mediawiki.deflate 2019-10-30 19:13:47 +00:00
ve.init.mw.DesktopArticleTarget.js ArticleTargetEvents: clean up some duplication 2019-09-30 11:29:01 -05:00
ve.init.mw.MobileArticleTarget.js Update VE core submodule to master (3075d3f8c) 2019-10-25 17:16:17 +02:00
ve.init.mw.Target.js Update VE core submodule to master (3075d3f8c) 2019-10-25 17:16:17 +02:00