mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/InputBox
synced 2024-11-23 22:54:02 +00:00
7c2d750a70
Replace false by null. Change-Id: Iebcd973d1cf6cf6d2393ef9bb9548c9a946712a7 |
||
---|---|---|
.. | ||
InputBox.php | ||
InputBoxHooks.php |