Translations:Manual:PopulateCategory.php/7/en

This script is automatically run by update.php if updating from before MediaWiki 1.13.