Rename 'https-migration.php'