Go to the documentation of this file.
44 if (
wfIsCLI() && isset( $_SERVER[
'argv'] ) ) {
45 $record[
'extra'][
'cli_argv'] = implode(
' ', $_SERVER[
'argv'] );
static getCurrentWikiDbDomain()
$wgVersion
MediaWiki version number.
wfHostname()
Fetch server name for use in error reporting etc.
static getWikiIdFromDbDomain( $domain)
Get the wiki ID of a database domain.
wfIsCLI()
Check if we are running from the commandline.
Helper tools for dealing with other locally-hosted wikis.
static getRequestId()
Get the unique request ID.