From 5e7f834bee7be1c53ab32560de73c42a18ed5dc7 Mon Sep 17 00:00:00 2001
From: eileen <emcnaughton@wikimedia.org>
Date: Sun, 1 Sep 2019 10:01:11 +1200
Subject: [PATCH] Fix php 7.2+ deprecation error

---
 bin/cli.class.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/bin/cli.class.php b/bin/cli.class.php
index 8cdcc9e8e7c1..dff79069f40a 100644
--- a/bin/cli.class.php
+++ b/bin/cli.class.php
@@ -294,8 +294,7 @@ private function _bootstrap() {
    * @return bool
    */
   private function _validateOptions() {
-    $required = $this->_required_arguments;
-    while (list(, $var) = each($required)) {
+    foreach ($this->_required_arguments as $var) {
       $index = '_' . $var;
       if (empty($this->$index)) {
         $missing_arg = '--' . $var;