original_string: public function pushHandler(HandlerInterface $handler)
      {
          array_unshift($this->handlers, $handler);
          if ($this->_startTime === null) {
              $this->_startTime = microtime(true);
              $this->_previousRecordTime = $this->_startTime;
          }
      }
code: public function pushHandler(HandlerInterface $handler)
      {
          array_unshift($this->handlers, $handler);
          if ($this->_startTime === null) {
              $this->_startTime = microtime(true);
              $this->_previousRecordTime = $this->_startTime;
          }
      }
code_tokens: public function pushHandler ( HandlerInterface $ handler ) { array_unshift ( $ this -> handlers , $ handler ) ; if ( $ this -> _startTime === null ) { $ this -> _startTime = microtime ( true ) ; $ this -> _previousRecordTime = $ this -> _startTime ; } }
docstring: Pushes a handler on to the stack.
  
  @param HandlerInterface $handler
docstring_tokens: Pushes a handler on to the stack .