Krinkle has uploaded a new change for review. https://gerrit.wikimedia.org/r/179587
Change subject: robots.php: Fixup E_NOTICE undefined $stats ...................................................................... robots.php: Fixup E_NOTICE undefined $stats Follows-up 611892c. Don't test and then amend without testing again. Change-Id: Ib43a53c50d180949703f8186dc4d6470326f052f --- M w/robots.php 1 file changed, 2 insertions(+), 2 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/87/179587/1 diff --git a/w/robots.php b/w/robots.php index 69d2d9f..937206f 100644 --- a/w/robots.php +++ b/w/robots.php @@ -12,9 +12,9 @@ header( 'Vary: X-Subdomain' ); $robotsfile = '/srv/mediawiki/robots.txt'; -$robotsfilestats = fstat( $robots ); $robots = fopen( $robotsfile, 'rb' ); -$mtime = $stats['mtime']; +$robotsfilestats = fstat( $robots ); +$mtime = $robotsfilestats['mtime']; $extratext = ''; $zeroRated = isset( $_SERVER['HTTP_X_SUBDOMAIN'] ) && $_SERVER['HTTP_X_SUBDOMAIN'] === 'ZERO'; -- To view, visit https://gerrit.wikimedia.org/r/179587 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ib43a53c50d180949703f8186dc4d6470326f052f Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Krinkle <krinklem...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits