Manual:createExtensionTables.php

See wikitech:Creating new tables and wikitech:Backport windows/Deployers#createExtensionTables.