From 670dbaba1b874c481d061cb26275c0373ba1e176 Mon Sep 17 00:00:00 2001
From: mrgoldy <gijsmartens1@gmail.com>
Date: Sat, 30 Nov 2019 15:12:35 +0100
Subject: [ticket/16239] Remove deprecated phpbb\db\tools

PHPBB3-16239
---
 phpBB/phpbb/db/tools.php | 21 ---------------------
 1 file changed, 21 deletions(-)
 delete mode 100644 phpBB/phpbb/db/tools.php

(limited to 'phpBB')

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
-{
-}
-- 
cgit v1.2.1