39 $record[
'extra'][
'wiki'] =
wfWikiID();
41 $record[
'extra'][
'reqId'] = \WebRequest::getRequestId();
42 if ( PHP_SAPI ===
'cli' && isset( $_SERVER[
'argv'] ) ) {
43 $record[
'extra'][
'cli_argv'] = implode(
' ', $_SERVER[
'argv'] );
$wgVersion
MediaWiki version number.
wfHostname()
Fetch server name for use in error reporting etc.
wfWikiID()
Get an ASCII string identifying this wiki This is used as a prefix in memcached keys.