Topic on Manual talk:Schema changes

I haven't found a way to express dropping a table using an abstract migration.

Seems this isn't necessary, it can be done trivially from the update hook:

       $updater->dropExtensionTable( 'cn_known_mobile_carriers' );