https://bugzilla.wikimedia.org/show_bug.cgi?id=72733
--- Comment #1 from Gerrit Notification Bot gerritadmin@wikimedia.org --- Change 172116 had a related patch set uploaded by John Vandenberg: Mark page.undelete as not implemented.
https://gerrit.wikimedia.org/r/172116