mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-01 03:16:14 +00:00
e4575c0b7c
This makes it more obvious to the user that something is going on. Bug: 56472 Change-Id: I80938e0e48bd01eece4a99b8bda632a4b1375333 |
||
---|---|---|
.. | ||
ext.scribunto.css | ||
ext.scribunto.edit.css | ||
ext.scribunto.edit.js | ||
ext.scribunto.js |