Merge "(bug 35923) tweaks to mediawiki.action.history.diff.css"
[lhc/web/wiklou.git] / includes / revisiondelete /
drwxr-xr-x   ..
-rw-r--r-- 22399 RevisionDelete.php
-rw-r--r-- 8750 RevisionDeleteAbstracts.php
-rw-r--r-- 4258 RevisionDeleteUser.php
-rw-r--r-- 4439 RevisionDeleter.php