"Difference between pages" is now displayed instead of "Difference between revisions...
[mediawiki.git] / config / 
treedf48ce9c810f9dc9c4fb6fa977d464a7b34083c7
drwxr-xr-x   ..
-rw-r--r-- 80851 Installer.php
-rw-r--r-- 1676 index.php
-rw-r--r-- 64 index.php5
-rw-r--r-- 885 new-index.php