[ticket/13133] Rename $ok variable

PHPBB3-13133