This website requires JavaScript.
Explore
Help
Register
Sign In
wikimedia
/
mediawiki-extensions-InputBox
Watch
1
Star
0
Fork
You've already forked mediawiki-extensions-InputBox
0
mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox
synced
2024-11-27 16:39:59 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
ec75c9fbed
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