Remove unused global
[mediawiki.git] / includes / normal / 
treee58b0de973552e824d68b57183076c54022e2a81
drwxr-xr-x   ..
-rw-r--r-- 3128 Makefile
-rw-r--r-- 2420 README
-rw-r--r-- 3010 RandomTest.php
-rw-r--r-- 34063 Utf8Case.php
-rw-r--r-- 3075 Utf8CaseGenerate.php
-rw-r--r-- 4033 Utf8Test.php
-rw-r--r-- 23419 UtfNormal.php
-rw-r--r-- 2922 UtfNormalBench.php
-rw-r--r-- 113620 UtfNormalData.inc
-rw-r--r-- 113790 UtfNormalDataK.inc
-rw-r--r-- 3495 UtfNormalDefines.php
-rw-r--r-- 6643 UtfNormalGenerate.php
-rw-r--r-- 3110 UtfNormalMemStress.php
-rw-r--r-- 8208 UtfNormalTest.php
-rw-r--r-- 7887 UtfNormalTest2.php
-rw-r--r-- 3710 UtfNormalUtil.php