Jump to content

Extension:MirrorTools/Pagedelete, mirrorpagedelete, pagerestore, and mirrorpagerestore

From mediawiki.org