wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-14 10:44:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/resources
History
Fomafix 67f4de2288 Switch from jshint to eslint 
Change-Id: I4401103dce2ee1558365f46b62a86689521c58a9
2018-08-28 21:16:54 +02:00
..
ext.inputBox.js Switch from jshint to eslint 2018-08-28 21:16:54 +02:00
ext.inputBox.styles.css Add stylelint for css files 2017-04-17 22:40:02 +02:00