[ticket/11440] Cast values of the $user_ids array to integer before sql_in_set.

http://tracker.phpbb.com/browse/PHPBB3-11440