Create m141126_213859_migration_core.php

An extension for migrations without a migration for itself?!

Fixed ;-).