43 $record[
'extra'][
'reqId'] = \WebRequest::getRequestId();
44 if (
wfIsCLI() && isset( $_SERVER[
'argv'] ) ) {
45 $record[
'extra'][
'cli_argv'] = implode(
' ', $_SERVER[
'argv'] );
$wgVersion
MediaWiki version number.
wfHostname()
Get host name of the current machine, for use in error reporting.
wfIsCLI()
Check if we are running from the commandline.
Helper tools for dealing with other locally-hosted wikis.
static getWikiIdFromDbDomain( $domain)
Get the wiki ID of a database domain.
static getCurrentWikiDbDomain()