getDiffBody() cleanups:
[mediawiki.git] / config / 
treea29813cf57915678f65731a18b97103e4b4e7984
drwxr-xr-x   ..
-rw-r--r-- 79808 Installer.php
-rw-r--r-- 865 index.php
-rw-r--r-- 64 index.php5