re #842 - Update phpmig