wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-09-23 18:29:24 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/resources
History
jenkins-bot fa050f51bb Merge "Hide interactive inputbox in print"
2021-12-21 20:55:02 +00:00
..
ext.inputBox.print.less Hide interactive inputbox in print 2021-12-05 23:07:14 +01:00
ext.inputBox.styles.less Remove an !important and use classdoubling instead 2021-12-05 22:43:09 +01:00