I copied that from phpbb_functional_extension_controller_test, will fix it here, but one should create a ticket for the other file