mirror of
https://github.com/phpbb/phpbb.git
synced 2025-02-25 04:23:38 +01:00
These are defined the same way in db_tools. This duplicated code should be removed together with the rest of the db_tools duplication at some point. PHPBB3-9992