[ticket/12684] Fix header file

PHPBB3-12684