[ticket/11744] Cast to int

PHPBB3-11744
This commit is contained in:
Nathan Guse 2013-07-28 21:15:58 -05:00
parent 28daa60e9e
commit cbe72ab14b

View file

@ -82,7 +82,7 @@ class phpbb_notification_type_group_request extends phpbb_notification_type_base
$user_ids = array();
while ($row = $this->db->sql_fetchrow($result))
{
$user_ids[] = $row['user_id'];
$user_ids[] = (int) $row['user_id'];
}
$this->db->sql_freeresult($result);