fix a bug where the phpmig file was only included once