mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-24 00:05:00 +00:00
87bc426b6b
Per the comment in EditPage.php: extensions should take care to _append_ to the present value Change-Id: Icaf3f250b5f65768e50b7983b5f018c38a13490a |
||
---|---|---|
.. | ||
ApiScribuntoConsole.php | ||
Base.php | ||
Common.php | ||
Hooks.php | ||
ScribuntoContent.php | ||
ScribuntoContentHandler.php |