<?php // This migration has been dropped, see T7604 for details.