Merge "User#getOption: Check ignoreHidden before $wgHiddenPrefs"
[mediawiki.git] / languages / 
tree4ecedde40b882db77058f6278f47e67e335f95cf
drwxr-xr-x   ..
-rw-r--r-- 14 .htaccess
-rw-r--r-- 134849 Language.php
-rw-r--r-- 45445 LanguageConverter.php
-rw-r--r-- 20333 Names.php
drwxr-xr-x - classes
drwxr-xr-x - data
drwxr-xr-x - messages
drwxr-xr-x - utils