original_string: public function readDate()
      {
          // get the unix time stamp. Not sure why ActionScript does not use
          // milliseconds
          $timestamp = floor($this->_stream->readDouble() / 1000);
  
          // The timezone offset is never returned to the server; it is always 0,
          // so read and ignore.
          $offset = $this->_stream->readInt();
  
          require_once 'Zend/Date.php';
          $date   = new Zend_Date($timestamp);
          return $date;
      }
code: public function readDate()
      {
          // get the unix time stamp. Not sure why ActionScript does not use
          // milliseconds
          $timestamp = floor($this->_stream->readDouble() / 1000);
  
          // The timezone offset is never returned to the server; it is always 0,
          // so read and ignore.
          $offset = $this->_stream->readInt();
  
          require_once 'Zend/Date.php';
          $date   = new Zend_Date($timestamp);
          return $date;
      }
code_tokens: public function readDate ( ) { // get the unix time stamp. Not sure why ActionScript does not use // milliseconds $ timestamp = floor ( $ this -> _stream -> readDouble ( ) / 1000 ) ; // The timezone offset is never returned to the server; it is always 0, // so read and ignore. $ offset = $ this -> _stream -> readInt ( ) ; require_once 'Zend/Date.php' ; $ date = new Zend_Date ( $ timestamp ) ; return $ date ; }
docstring: Convert AS Date to Zend_Date
  
  @return Zend_Date
docstring_tokens: Convert AS Date to Zend_Date