[ticket/12071] Replaced arithmetic operator

PHPBB3-12071