wikimedia/mediawiki-extensions-InputBox
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox synced 2024-11-30 18:04:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-InputBox/resources
History
Jon Robson 0d8dcb2f4e InputBox uses Codex instead of mediawiki ui 
Bug: T353371
Change-Id: Iedfe34accc0c3469c9391208a1898cb544e896cb
2024-06-25 23:00:32 +00:00
..
ext.inputBox.print.less Hide interactive inputbox in print 2021-12-05 23:07:14 +01:00
ext.inputBox.styles.less InputBox uses Codex instead of mediawiki ui 2024-06-25 23:00:32 +00:00