Manual:makeSizeDBLists.php

From mediawiki.org