Per r79581 CR, add @embed comments to jQuery UI's default theme's CSS too, and combin...
[mediawiki.git] / languages / 
tree0f245c2d7ac681b8477a2695e04d25b997986bec
drwxr-xr-x   ..
-rw-r--r-- 14 .htaccess
-rw-r--r-- 87800 Language.php
-rw-r--r-- 40416 LanguageConverter.php
-rw-r--r-- 17973 Names.php
drwxr-xr-x - classes
drwxr-xr-x - messages