Jump to content

Manual:makeDumpList.php

From mediawiki.org