Last modified: 2013-12-18 02:07:55 UTC
Warning: array_merge() [<a href='function.array-merge'>function.array-merge</a>]: Argument #2 is not an array in /usr/local/apache/common-local/wmf-config/CommonSettings.php on line 2552 Seems to be new $wgExemptFromUserRobotsControl = array_merge( $wgContentNamespaces, $wmgExemptFromUserRobotsControlExtra ); 'wmgExemptFromUserRobotsControlExtra' => array( 'default' => array(), 'enwiki' => array( 118, 119 ), // draft and draft talk ), There's a few of the seemingly constant, notice since the deploy earlier today
https://github.com/wikimedia/operations-mediawiki-config/commit/a6b09501a502249a549e0b71c887c655f86ada67 Ib56f1085eea106de6767162e77614e36d2a505ca Seems it's MZMcBrides fault
Looks like touching and syncing InitialiseSettings.php fixed it...
But it's unclear why, since the mtime before the manual touch was: [12/17/13 20:55] <Reedy> -rw-rw-r-- 1 mflaschen wikidev 431778 Dec 18 00:18 InitialiseSettings.php That should have invalidated the configuration caching, and it was one of the files actually changed and deployed (via sync-dir). One guess is that some of the Apaches have out of sync clocks. I haven't checked this yet. MZMcBride started the commit, but I finished and +2'ed it, and as deployer I take full responsibility.
Sorry, I didn't mean to change the status.
(In reply to comment #3) > One guess is that some of the Apaches have out of sync clocks. This doesn't seem to be the case.
