wikimedia / mediawiki

			$mPath = $this->substPaths( $path, $mBackend );

			$mSha1 = $mBackend->getFileSha1Base36( [ 'src' => $mPath, 'latest' => true ] );

			$mStat = $mBackend->getFileStat( [ 'src' => $mPath, 'latest' => true ] );

			if ( $mStat === null || ( $mSha1 !== false && !$mStat ) ) { // sanity

				$status->fatal( 'backend-fail-internal', $this->name );

				wfDebugLog( 'FileOperation', __METHOD__

					. ': File is not available on the master backend' );

				continue; // file is not available on the master backend...

			}

			// Check of all clone backends agree with the master...

			foreach ( $this->backends as $index => $cBackend ) {

				if ( $index === $this->masterIndex ) {

				$cPath = $this->substPaths( $path, $cBackend );

				$cSha1 = $cBackend->getFileSha1Base36( [ 'src' => $cPath, 'latest' => true ] );

				$cStat = $cBackend->getFileStat( [ 'src' => $cPath, 'latest' => true ] );

				if ( $cStat === null || ( $cSha1 !== false && !$cStat ) ) { // sanity

					$status->fatal( 'backend-fail-internal', $cBackend->getName() );

					wfDebugLog( 'FileOperation', __METHOD__ .

						': File is not available on the clone backend' );

					continue; // file is not available on the clone backend...

				}

				if ( $mSha1 === $cSha1 ) {

					// already synced; nothing to do

				} elseif ( $mSha1 !== false ) { // file is in master