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 --- maintenance/cleanupDupes.php | 36 ------------------------------------ 1 file changed, 36 deletions(-) delete mode 100644 maintenance/cleanupDupes.php (limited to 'maintenance/cleanupDupes.php') diff --git a/maintenance/cleanupDupes.php b/maintenance/cleanupDupes.php deleted file mode 100644 index 4d87da46..00000000 --- a/maintenance/cleanupDupes.php +++ /dev/null @@ -1,36 +0,0 @@ - -# http://www.mediawiki.org/ -# -# This program is free software; you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 2 of the License, or -# (at your option) any later version. -# -# This program is distributed in the hope that it will be useful, -# but WITHOUT ANY WARRANTY; without even the implied warranty of -# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -# GNU General Public License for more details. -# -# You should have received a copy of the GNU General Public License along -# with this program; if not, write to the Free Software Foundation, Inc., -# 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA. -# http://www.gnu.org/copyleft/gpl.html - -/** - * If on the old non-unique indexes, check the cur table for duplicate - * entries and remove them... - * - * @addtogroup Maintenance - */ - -$options = array( 'fix', 'index' ); - -/** */ -require_once( 'commandLine.inc' ); -require_once( 'cleanupDupes.inc' ); -$wgTitle = Title::newFromText( 'Dupe cur entry cleanup script' ); - -checkDupes( isset( $options['fix'] ), isset( $options['index'] ) ); - -?> -- cgit v1.2.3-54-g00ecf