mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-28 10:10:04 +00:00
4d479d0bc5
It's better to handle it in CodeEditor: Ia7d6958a10481c39abb1406b67210cac998818e7 Change-Id: Ieb695bc8c85c07fd01f02bccbc94c6ab6b8bb579 |
||
---|---|---|
.. | ||
ext.scribunto.css | ||
ext.scribunto.edit.css | ||
ext.scribunto.edit.js | ||
ext.scribunto.js |