From 3dbbc40ab0e8b7cbd8c86dadc48fe50a3b0d2860 Mon Sep 17 00:00:00 2001
From: Chad Horohoe <demon@users.mediawiki.org>
Date: Thu, 8 Sep 2011 03:13:31 +0000
Subject: [PATCH] Rm old options from commandLine.inc days

---
 maintenance/populateCategory.php | 2 --
 1 file changed, 2 deletions(-)

diff --git a/maintenance/populateCategory.php b/maintenance/populateCategory.php
index 4e9c44c416..0b45493eb1 100644
--- a/maintenance/populateCategory.php
+++ b/maintenance/populateCategory.php
@@ -22,8 +22,6 @@
  * @author Simetrical
  */
 
-$optionsWithArgs = array( 'begin', 'max-slave-lag', 'throttle' );
-
 require_once( dirname( __FILE__ ) . '/Maintenance.php' );
 
 
-- 
2.20.1