BUG#160 Internationalize display of numbers:
[mediawiki.git] / config / 
tree7309265165e30941d193499606aecf6e813e9315
drwxr-xr-x   ..
-rw-r--r-- 31999 index.php