wikimedia / mediawiki

				);

				// The live (current) version cannot be hidden!

				if ( !$this->unsuppress && $row->fa_deleted ) {

					$storeBatch[] = array( $deletedUrl, 'public', $destRel );

					$this->cleanupBatch[] = $row->fa_storage_key;

				}

			} else {

				$archiveName = $row->fa_archive_name;

			$deleteIds[] = $row->fa_id;

			if ( !$this->unsuppress && $row->fa_deleted & File::DELETED_FILE ) {

				// private files can stay where they are

				$status->successCount++;

			} else {

				$storeBatch[] = array( $deletedUrl, 'public', $destRel );

				$this->cleanupBatch[] = $row->fa_storage_key;

			}

			$first = false;

		}