mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-24 16:25:00 +00:00
e17a3118a5
It was deprecated in 1.22, which Scribunto no longer supports. Change-Id: I0e8e1d56062f0cba1749d2a3e64df400d6a46f27 |
||
---|---|---|
.. | ||
Engine.php |