mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-09-25 19:27:51 +00:00
b970046f2e
It's not necessary, it makes the output bigger, and some pages have enough elements with CSS that it does make an actual difference. Change-Id: I80d471899c7e04a8a4876c205198a8c0d0b1f281 |
||
---|---|---|
common | ||
engines | ||
i18n | ||
modules | ||
tests/engines | ||
.gitignore | ||
.gitreview | ||
.jshintrc | ||
composer.json | ||
Scribunto.i18n.php | ||
Scribunto.magic.php | ||
Scribunto.namespaces.php | ||
Scribunto.php |