wikimedia / mediawiki

			$mimeTypeFile = "$IP/$mimeTypeFile";

		}

		if ( $mimeTypeFile ) {

			if ( is_file( $mimeTypeFile ) && is_readable( $mimeTypeFile ) ) {

				wfDebug( __METHOD__ . ": loading mime types from $mimeTypeFile\n" );

				$types .= "\n";

				$types .= file_get_contents( $mimeTypeFile );

			} else {

				wfDebug( __METHOD__ . ": can't load mime types from $mimeTypeFile\n" );

			}

		} else {

			wfDebug( __METHOD__ . ": no mime types file defined, using built-ins only.\n" );

		}

		$types .= "\n" . $this->mExtraTypes;

		$info = MM_WELL_KNOWN_MIME_INFO;

		if ( $mimeInfoFile ) {

			if ( is_file( $mimeInfoFile ) && is_readable( $mimeInfoFile ) ) {

				wfDebug( __METHOD__ . ": loading mime info from $mimeInfoFile\n" );

				$info .= "\n";

				$info .= file_get_contents( $mimeInfoFile );

			} else {

				wfDebug( __METHOD__ . ": can't load mime info from $mimeInfoFile\n" );

			}

		} else {

			wfDebug( __METHOD__ . ": no mime info file defined, using built-ins only.\n" );

		}

		$info .= "\n" . $this->mExtraInfo;