mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-25 00:26:44 +00:00
b8bf159e5d
We don't actually add any checkboxes, so there's no reason to use it. (We used to, but that was removed in 9b0060c8.) Bug: T161813 Change-Id: Ia6c9df9cadb81387d4e00210d293d4d66bed8cd8 |
||
---|---|---|
.. | ||
ApiScribuntoConsole.php | ||
Base.php | ||
Common.php | ||
Hooks.php | ||
ScribuntoContent.php | ||
ScribuntoContentHandler.php |