미디어위키 환경변수 $IP

1 개요

미디어위키 환경변수 $IP

• 미디어위키 설치경로(Install Path)

WebStart.php 일부

# Full path to the installation directory.
$IP = getenv( 'MW_INSTALL_PATH' );
if ( $IP === false ) {
	$IP = dirname( __DIR__ );
}

→ MW_INSTALL_PATH 라는 시스템환경변수가 있으면 그것을 사용

→ 없으면 WebStart.php가 있는 경로를 사용

2 같이 보기

• 미디어위키 WebStart.php

3 참고

• https://www.mediawiki.org/wiki/Manual:$IP
• https://github.com/wikimedia/mediawiki/blob/master/includes/WebStart.php