getVar( 'wgServer' ) . $this->parent->getUrl( [ 'localsettings' => 1 ] );
if ( isset( $_SERVER['HTTP_USER_AGENT'] ) &&
strpos( $_SERVER['HTTP_USER_AGENT'], 'MSIE' ) !== false
) {
// JS appears to be the only method that works consistently with IE7+
$this->addHTML( "\n\n" );
} else {
$this->parent->request->response()->header( "Refresh: 0;url=$lsUrl" );
}
$this->startForm();
$this->parent->disableLinkPopups();
$location = $this->parent->getLocalSettingsLocation();
$msg = 'config-install-done';
if ( $location !== false ) {
// config-install-done-path
$msg .= '-path';
}
$this->addHTML(
$this->parent->getInfoBox(
wfMessage( $msg,
$lsUrl,
$this->getVar( 'wgServer' ) .
$this->getVar( 'wgScriptPath' ) . '/index.php',
'',
$location ?: ''
)->plain(), 'tick-32.png'
)
);
$this->addHTML( $this->parent->getInfoBox(
wfMessage( 'config-extension-link' )->text() ) );
$this->parent->restoreLinkPopups();
$this->endForm( false, false );
}
}