wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-15 03:04:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
589 commits 282 branches 5 tags 11 MiB
Commit graph

1 commit

Author SHA1 Message Date
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