original_string: public static function record_savepoint($version) {
          global $CFG, $OUTPUT;
  
          // In developer debug mode we show a notification after each individual save point.
          if ($CFG->debugdeveloper && self::$isrecording) {
              $time = microtime(true);
  
              $notification = new \core\output\notification($version . ': ' .
                      get_string('successduration', '', format_float($time - self::$lastsavepoint, 2)),
                      \core\output\notification::NOTIFY_SUCCESS);
              $notification->set_show_closebutton(false);
              echo $OUTPUT->render($notification);
              self::$lastsavepoint = $time;
          }
      }
code: public static function record_savepoint($version) {
          global $CFG, $OUTPUT;
  
          // In developer debug mode we show a notification after each individual save point.
          if ($CFG->debugdeveloper && self::$isrecording) {
              $time = microtime(true);
  
              $notification = new \core\output\notification($version . ': ' .
                      get_string('successduration', '', format_float($time - self::$lastsavepoint, 2)),
                      \core\output\notification::NOTIFY_SUCCESS);
              $notification->set_show_closebutton(false);
              echo $OUTPUT->render($notification);
              self::$lastsavepoint = $time;
          }
      }
code_tokens: public static function record_savepoint ( $ version ) { global $ CFG , $ OUTPUT ; // In developer debug mode we show a notification after each individual save point. if ( $ CFG -> debugdeveloper && self :: $ isrecording ) { $ time = microtime ( true ) ; $ notification = new \ core \ output \ notification ( $ version . ': ' . get_string ( 'successduration' , '' , format_float ( $ time - self :: $ lastsavepoint , 2 ) ) , \ core \ output \ notification :: NOTIFY_SUCCESS ) ; $ notification -> set_show_closebutton ( false ) ; echo $ OUTPUT -> render ( $ notification ) ; self :: $ lastsavepoint = $ time ; } }
docstring: Records current time at the end of a given numbered step.
  
  @param float $version Version number (may have decimals, or not)
docstring_tokens: Records current time at the end of a given numbered step .