Issue #3262110 by quietone, neclimdul, mikelutz, heddn, smustgrave, phenaproxima: Remove unused properties in Migration.php