diff options
author | mrgoldy <gijsmartens1@gmail.com> | 2019-11-30 15:12:35 +0100 |
---|---|---|
committer | mrgoldy <gijsmartens1@gmail.com> | 2019-11-30 15:12:35 +0100 |
commit | 670dbaba1b874c481d061cb26275c0373ba1e176 (patch) | |
tree | 271ab1ea72ea52471ecd5510f2871ebc5530c5a4 /phpBB | |
parent | a8e2f4256b0f1330db8eb799bb26624cf185c6d4 (diff) | |
download | forums-670dbaba1b874c481d061cb26275c0373ba1e176.tar forums-670dbaba1b874c481d061cb26275c0373ba1e176.tar.gz forums-670dbaba1b874c481d061cb26275c0373ba1e176.tar.bz2 forums-670dbaba1b874c481d061cb26275c0373ba1e176.tar.xz forums-670dbaba1b874c481d061cb26275c0373ba1e176.zip |
[ticket/16239] Remove deprecated phpbb\db\tools
PHPBB3-16239
Diffstat (limited to 'phpBB')
-rw-r--r-- | phpBB/phpbb/db/tools.php | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/phpBB/phpbb/db/tools.php b/phpBB/phpbb/db/tools.php deleted file mode 100644 index 4d1b91f7b4..0000000000 --- a/phpBB/phpbb/db/tools.php +++ /dev/null @@ -1,21 +0,0 @@ -<?php -/** -* -* This file is part of the phpBB Forum Software package. -* -* @copyright (c) phpBB Limited <https://www.phpbb.com> -* @license GNU General Public License, version 2 (GPL-2.0) -* -* For full copyright and license information, please see -* the docs/CREDITS.txt file. -* -*/ - -namespace phpbb\db; - -/** - * @deprecated 3.2.0-dev (To be removed 3.3.0) use \phpbb\db\tools\tools instead - */ -class tools extends \phpbb\db\tools\tools -{ -} |