[ticket/12496] Make develop/migration_tips.php run from the repository root.

https://tracker.phpbb.com/browse/PHPBB3-12496