[feature/migrations] install/database_update_migrations.php

Actually, this does not belong in the main PR, moving to the data PR.

PHPBB3-9737