1
0
mirror of https://github.com/phpbb/phpbb.git synced 2025-05-22 23:40:12 +02:00
Oleg Pudeyev 5b5c227423 [ticket/10003] Use phpbb_db_tools in database_update.php.
Now that the copy of db tools has been deleted, change which
class name is used.

PHPBB3-10003
2011-07-09 01:53:07 -04:00
..