wikimedia / mediawiki

				$changed = $changed || ( $row->page_latest != $templates[$row->ns][$row->dbk] );

			}

			if ( $changed || $res->numRows() != $templateUses ) {

				$stats->increment( 'editstash.cache_misses.proven_stale' );

				$logger->info( "Stale cache for key '$key'; template changed. (age: $age sec)" );

				return false;

			}

		}

		$files = []; // conditions to find changes/creations

				$changed = $changed || ( $row->img_sha1 != $files[$row->name] );

			}

			if ( $changed || $res->numRows() != count( $files ) ) {

				$stats->increment( 'editstash.cache_misses.proven_stale' );

				$logger->info( "Stale cache for key '$key'; file changed. (age: $age sec)" );

				return false;

			}

		}

		$stats->increment( 'editstash.cache_hits.proven_fresh' );