SessionManager: Change behavior of getSessionById()
[mediawiki.git] / languages / 
treeda980cfac5026491b294c6e2d8e92479a50d2863
drwxr-xr-x   ..
-rw-r--r-- 14 .htaccess
-rw-r--r-- 14338 ConverterRule.php
-rw-r--r-- 2387 FakeConverter.php
-rw-r--r-- 156169 Language.php
-rw-r--r-- 31271 LanguageConverter.php
-rw-r--r-- 21005 Names.php
drwxr-xr-x - classes
drwxr-xr-x - data
drwxr-xr-x - i18n
drwxr-xr-x - messages