wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-24 07:03:41 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/resources
History
Umherirrender 7f0c04f2b0 Add stylelint for css files 
Fixed the following rule:
no-missing-end-of-source-newline

Change-Id: I0ba2e411279a101870c89b733dc9315be525c937
2017-04-17 22:40:02 +02:00
..
ext.inputBox.js Set license-name to "MIT-Licence" 2015-08-24 00:39:42 +05:30
ext.inputBox.styles.css Add stylelint for css files 2017-04-17 22:40:02 +02:00