mirror of
https://github.com/phpbb/phpbb.git
synced 2025-05-24 00:05:33 +02:00
Currently, the $user_id is a parameter but is not used. This patch fixes that. PHPBB3-11448
Currently, the $user_id is a parameter but is not used. This patch fixes that. PHPBB3-11448