From 396b28f3d881f5debd888ba9bb9b47c2d478a76f Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Mon, 15 Dec 2008 18:02:47 +0100 Subject: update to Mediawiki 1.13.3; some cleanups --- includes/DatabaseMysql.php | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 includes/DatabaseMysql.php (limited to 'includes/DatabaseMysql.php') diff --git a/includes/DatabaseMysql.php b/includes/DatabaseMysql.php deleted file mode 100644 index 79e917b3..00000000 --- a/includes/DatabaseMysql.php +++ /dev/null @@ -1,6 +0,0 @@ - -- cgit v1.2.3-54-g00ecf