Manual:RevDelList.php

From mediawiki.org