wikimedia / mediawiki

			$file = $this->findFile( $title, $options );

			if ( $file ) {

				$searchName = File::normalizeTitle( $title )->getDBkey(); // must be valid

				if ( $flags & self::NAME_AND_TIME_ONLY ) {

					$result[$searchName] = [

						'title' => $file->getTitle()->getDBkey(),

						'timestamp' => $file->getTimestamp()

					];

				} else {

					$result[$searchName] = $file;

				}

			}

		}

				$file = $this->newFile( $redir );

				if ( $file && $fileMatchesSearch( $file, $search ) ) {

					$file->redirectedFrom( $title->getDBkey() );

					if ( $flags & FileRepo::NAME_AND_TIME_ONLY ) {

						$finalFiles[$dbKey] = [

							'title' => $file->getTitle()->getDBkey(),

							'timestamp' => $file->getTimestamp()

						];

					} else {

						$finalFiles[$dbKey] = $file;

					}

				}

			}

		}