mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-28 10:10:04 +00:00
e12d743986
If someone puts something broken in MediaWiki:Scribunto-doc-page-name, it may not be possible to determine which module the page is a doc page for. In that case, just pretend it's not a doc page. Bug: 49322 Change-Id: Ia4421576b372e188cf7e3dfe2c0b8ce213d026d4 |
||
---|---|---|
.. | ||
ApiScribuntoConsole.php | ||
Base.php | ||
Common.php | ||
Hooks.php | ||
ScribuntoContent.php | ||
ScribuntoContentHandler.php |