mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox
synced 2024-11-23 22:54:02 +00:00
253eb5e85a
Bug: T213426 Change-Id: I1502a1bd68ea260e94a47fcce047bafce3e47f0b |
||
---|---|---|
.. | ||
ext.inputBox.js | ||
ext.inputBox.styles.css |