As discussed in r85918 CR. Move everything from wfIndexMain() at index.php to MediaWi...
[lhc/web/wiklou.git] / includes / revisiondelete /
drwxr-xr-x   ..
-rw-r--r-- 20044 RevisionDelete.php
-rw-r--r-- 12133 RevisionDeleteAbstracts.php
-rw-r--r-- 4107 RevisionDeleteUser.php
-rw-r--r-- 8305 RevisionDeleter.php