Merge "Update and enrich API documentation"
[mediawiki.git] / includes / revisiondelete / 
treebfc99eaa872314bad10db7b76cf4cfd3ef2f0e8d
drwxr-xr-x   ..
-rw-r--r-- 2858 RevDelArchiveItem.php
-rw-r--r-- 1787 RevDelArchiveList.php
-rw-r--r-- 3601 RevDelArchivedFileItem.php
-rw-r--r-- 1471 RevDelArchivedFileList.php
-rw-r--r-- 1587 RevDelArchivedRevisionItem.php
-rw-r--r-- 6794 RevDelFileItem.php
-rw-r--r-- 3298 RevDelFileList.php
-rw-r--r-- 1966 RevDelItem.php
-rw-r--r-- 9215 RevDelList.php
-rw-r--r-- 4265 RevDelLogItem.php
-rw-r--r-- 2480 RevDelLogList.php
-rw-r--r-- 4997 RevDelRevisionItem.php
-rw-r--r-- 3919 RevDelRevisionList.php
-rw-r--r-- 4733 RevisionDeleteUser.php
-rw-r--r-- 7777 RevisionDeleter.php