mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-26 01:05:22 +00:00
507827aaf5
Such a configuration is completely broken, but it's easy enough to detect and avoid here. Bug: T131910 Change-Id: I0bf108ec191a59f5506c0cdab00f3e5e68158ed5 |
||
---|---|---|
.. | ||
Engine.php |