Merge branch 'Wikidata' of ssh://gerrit.wikimedia.org:29418/mediawiki/core into Wikidata
[lhc/web/wiklou.git] / includes / revisiondelete /
drwxr-xr-x   ..
-rw-r--r-- 22388 RevisionDelete.php
-rw-r--r-- 8726 RevisionDeleteAbstracts.php
-rw-r--r-- 4258 RevisionDeleteUser.php
-rw-r--r-- 6004 RevisionDeleter.php