[ticket/12870] phpbbcli.php db:migrate can not update from 3.0.12 to 3.1

https://tracker.phpbb.com/browse/PHPBB3-12870

PHPBB3-12870
This is a public function. Please add a doc block.