mirror of
https://github.com/phpbb/phpbb.git
synced 2025-05-23 15:59:49 +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