Profiling points. Bump version to 1.4.0beta0; update HISTORY notes to current 1.3...
[mediawiki.git] / config / 
treefdda5d12b0f934d9de9eadfc1e80dad27e39a390
drwxr-xr-x   ..
-rw-r--r-- 35218 index.php
-rw-r--r-- 8451 installer.php