mirror of
https://github.com/phpbb/phpbb.git
synced 2025-06-02 12:34:59 +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