daniel 2a1087fa40 RevisionDeleter: Use PageIdentity instead of Title ... RevDelList for now still uses a Title internally. Change-Id: Id839ac697bd742e908f465cf5330da486dc73111		2021-05-06 13:42:13 +02:00
..
RevisionListTest.php	RevisionDeleter: Use PageIdentity instead of Title	2021-05-06 13:42:13 +02:00