original_string: protected static function fetch_core_version() {
          global $CFG;
          if (self::$version === null) {
              $version = null; // Prevent IDE complaints.
              require($CFG->dirroot . '/version.php');
              self::$version = $version;
          }
          return self::$version;
      }
code: protected static function fetch_core_version() {
          global $CFG;
          if (self::$version === null) {
              $version = null; // Prevent IDE complaints.
              require($CFG->dirroot . '/version.php');
              self::$version = $version;
          }
          return self::$version;
      }
code_tokens: protected static function fetch_core_version ( ) { global $ CFG ; if ( self :: $ version === null ) { $ version = null ; // Prevent IDE complaints. require ( $ CFG -> dirroot . '/version.php' ) ; self :: $ version = $ version ; } return self :: $ version ; }
docstring: Get the core version.
  
  In order for this to work properly, opcache should be reset beforehand.
  
  @return float core version.
docstring_tokens: Get the core version .