diff options
| author | Marc Alexander <admin@m-a-styles.de> | 2019-12-06 07:12:46 +0100 |
|---|---|---|
| committer | Marc Alexander <admin@m-a-styles.de> | 2019-12-06 07:12:46 +0100 |
| commit | d7425b4998d68b51ecee543d2b77d9d5ed17cbd7 (patch) | |
| tree | 3937f65af7751266e601eacf70c85fba98431f45 /phpBB/phpbb/db/tools.php | |
| parent | 186384e514d85a9603be7178a8d82d55fd4925aa (diff) | |
| parent | 1a4739aed90c88eb49ccbe3ad58af17632f026ec (diff) | |
| download | forums-d7425b4998d68b51ecee543d2b77d9d5ed17cbd7.tar forums-d7425b4998d68b51ecee543d2b77d9d5ed17cbd7.tar.gz forums-d7425b4998d68b51ecee543d2b77d9d5ed17cbd7.tar.bz2 forums-d7425b4998d68b51ecee543d2b77d9d5ed17cbd7.tar.xz forums-d7425b4998d68b51ecee543d2b77d9d5ed17cbd7.zip | |
Merge pull request #5756 from mrgoldy/ticket/16239
[ticket/16239] Remove deprecated phpbb\db\tools
Diffstat (limited to 'phpBB/phpbb/db/tools.php')
| -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 -{ -} |