/** * Get the version of HipHop used to compile, or false if MediaWiki was not * compiled. This works by having our build script insert a special function * into the compiled code. */ static function getCompilerVersion() { if (self::$compilerVersion === null) { if (self::functionExists('wfHipHopCompilerVersion')) { self::$compilerVersion = wfHipHopCompilerVersion(); } else { self::$compilerVersion = false; } } return self::$compilerVersion; }