mirror of
https://github.com/phpbb/phpbb.git
synced 2025-06-04 05:25:01 +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