wikimedia/mediawiki-extensions-TemplateData
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/TemplateData synced 2024-09-23 18:29:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Templa.../modules
History
jenkins-bot d7145f1180 Merge "Update eslint-config-wikimedia to 0.9.0"
2018-11-30 21:28:32 +00:00
..
images Update icons for new 20px grid 2018-03-20 17:35:43 +00:00
widgets Update language search widget from VE 2017-10-03 16:28:30 +01:00
ext.templateDataGenerator.data.js Update eslint-config-wikimedia to 0.9.0 2018-11-29 14:19:33 +00:00
ext.templateDataGenerator.editPage.js Rename module editPage→editTemplatePage, create minimal new editPage module 2018-11-24 00:14:03 +00:00
ext.templateDataGenerator.editTemplatePage.js Use ve.deactivationComplete hook instead of ve.deactivate 2018-11-29 14:01:32 +00:00
ext.templateDataGenerator.js Change global class variables to mw.TemplateData 2015-02-18 17:47:08 -08:00
ext.templateDataGenerator.sourceHandler.js Update eslint-config-wikimedia to 0.9.0 2018-11-29 14:19:33 +00:00
ext.templateDataGenerator.target.js Remove VETarget, use textSelection API 2018-11-14 14:53:42 +00:00
ext.templateDataGenerator.ui.css Remove special font-size treatment following-up UI unified in 14px base 2018-03-20 16:55:41 +01:00
ext.templateDataGenerator.ui.tdDialog.js Update eslint-config-wikimedia to 0.9.0 2018-11-29 14:19:33 +00:00