From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001
From: Pierre Schmitz <pierre@archlinux.de>
Date: Thu, 4 Jun 2015 07:31:04 +0200
Subject: Update to MediaWiki 1.25.1

---
 maintenance/cdb.php | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'maintenance/cdb.php')

diff --git a/maintenance/cdb.php b/maintenance/cdb.php
index 86c686b4..2e252adb 100644
--- a/maintenance/cdb.php
+++ b/maintenance/cdb.php
@@ -21,6 +21,8 @@
  * @todo document
  * @ingroup Maintenance
  */
+use \Cdb\Exception as CdbException;
+use \Cdb\Reader as CdbReader;
 
 /** */
 require_once __DIR__ . '/commandLine.inc';
-- 
cgit v1.2.3-54-g00ecf