Error
Started when group1 got promoted.
operand type was used: expects array(s) or collection(s) in /srv/mediawiki/wmf-config/flaggedrevs.php on line 182 Notice: Undefined index: reviewer in /srv/mediawiki/wmf-config/flaggedrevs.php on line 179
Logstash for flaggedrevs.php: https://logstash.wikimedia.org/goto/85e59a7e13a40e11c9595c444ea90375
???
Impact
Notes
174 } elseif ( $wgDBname == 'cawikinews' ) { 175 $wgFlaggedRevsNamespaces[] = 102; // T36135 176 177 $wgGroupPermissions['editor']['autopatrol'] = true; // T95085 178 179 $wgGroupPermissions['reviewer'] = array_merge( $wgGroupPermissions['reviewer'], [ 180 'autopatrol' => true, // T95085 181 'patrol' => true, // T95085 182 ] ); 183 184 $wgGroupPermissions['sysop'] = array_merge( $wgGroupPermissions['sysop'], [ 185 'stablesettings' => true, // T36135 186 'review' => true, // T95085 187 'validate' => true, // T95085 188 'unreviewedpages' => true, // T95085 189 ] ); 190 }
And the same requests most probably cause a fatal error which I originally filled as T224118. I always get the same 3 events:
INFO [Wed May 22 13:32:06 2019] [hphp] [24412:7f84163ff700:247111:000002] [] Warning: Invalid operand type was used: expects array(s) or collection(s) in /srv/mediawiki/wmf-config/flaggedrevs.php on line 182 FATAL Fatal error: Invalid operand type was used: cannot perform this operation with arrays in /srv/mediawiki/php-1.34.0-wmf.6/includes/GlobalFunctions.php on line 3177 INFO [Wed May 22 13:32:06 2019] [hphp] [24412:7f84163ff700:247111:000003] [] Fatal error: Invalid operand type was used: cannot perform this operation with arrays in /srv/mediawiki/php-1.34.0-wmf.6/includes/GlobalFunctions.php on line 3177