phpbb/phpbb3 — pull request #1558 by nickvergessen (2013-07-14 04:58:15+00:00)
Title: [ticket/11696] Rename db_tools.php so it can be autoloaded

http://tracker.phpbb.com/browse/PHPBB3-11696