Index of /mediawiki/resources/src/mediawiki.ui
Name
Last modified
Size
Description
Parent Directory
-
components/
2014-10-01 23:52
-
default.less
2014-10-01 23:52
165
mixins/
2014-10-01 23:52
-
settings/
2014-10-01 23:52
-
styleguide.md
2014-10-01 23:52
2.4K
vector.less
2014-10-01 23:52
1.3K
Apache/2.4.52 (Ubuntu) Server at nucssp.rmki.kfki.hu Port 443