mirror of
https://github.com/phpbb/phpbb.git
synced 2025-02-11 19:24:10 +01:00
Also made optionset use the value set by optionset. We're not checking whether the option is set or not, because we would just throw an error if it wasn't set, and it throws an error anyway. PHPBB3-10240