42 $record[
'extra'][
'reqId'] = \WebRequest::getRequestId();
43 if (
wfIsCLI() && isset( $_SERVER[
'argv'] ) ) {
44 $record[
'extra'][
'cli_argv'] = implode(
' ', $_SERVER[
'argv'] );
const MW_VERSION
The running version of MediaWiki.
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 getCurrentWikiId()