From fa604c68e46821e32a0a4302598db87a6d15d840 Mon Sep 17 00:00:00 2001
From: Thiemo Kreuz <thiemo.kreuz@wikimedia.de>
Date: Tue, 10 Sep 2019 10:46:46 +0200
Subject: [PATCH] maintenance: Fix broken userOptions maintenance script

Broken via I973cc60 just a few weeks ago.

Change-Id: I9e60b84acf6c2bf751e2e6cb8e97f0a7cba2764d
---
 maintenance/userOptions.php | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/maintenance/userOptions.php b/maintenance/userOptions.php
index 98f1c24a86..2f8941f3da 100644
--- a/maintenance/userOptions.php
+++ b/maintenance/userOptions.php
@@ -110,11 +110,10 @@ The new option is NOT validated.' );
 					$ret[$option][$userValue] = ( $ret[$option][$userValue] ?? 0 ) + 1;
 				}
 			} else {
-
 				foreach ( $defaultOptions as $name => $defaultValue ) {
 					$userValue = $user->getOption( $name );
 					if ( $userValue != $defaultValue ) {
-						$ret[$option][$userValue] = ( $ret[$option][$userValue] ?? 0 ) + 1;
+						$ret[$name][$userValue] = ( $ret[$name][$userValue] ?? 0 ) + 1;
 					}
 				}
 			}
-- 
2.20.1