original_string: public function readDate()
      {
          $dateReference = $this->readInteger();
          if (($dateReference & 0x01) == 0) {
              $dateReference = $dateReference >> 1;
              if ($dateReference>=count($this->_referenceObjects)) {
                  require_once 'Zend/Amf/Exception.php';
                  throw new Zend_Amf_Exception('Undefined date reference: ' . $dateReference);
              }
              return $this->_referenceObjects[$dateReference];
          }
  
          $timestamp = floor($this->_stream->readDouble() / 1000);
  
          require_once 'Zend/Date.php';
          $dateTime  = new Zend_Date($timestamp);
          $this->_referenceObjects[] = $dateTime;
          return $dateTime;
      }
code: public function readDate()
      {
          $dateReference = $this->readInteger();
          if (($dateReference & 0x01) == 0) {
              $dateReference = $dateReference >> 1;
              if ($dateReference>=count($this->_referenceObjects)) {
                  require_once 'Zend/Amf/Exception.php';
                  throw new Zend_Amf_Exception('Undefined date reference: ' . $dateReference);
              }
              return $this->_referenceObjects[$dateReference];
          }
  
          $timestamp = floor($this->_stream->readDouble() / 1000);
  
          require_once 'Zend/Date.php';
          $dateTime  = new Zend_Date($timestamp);
          $this->_referenceObjects[] = $dateTime;
          return $dateTime;
      }
code_tokens: public function readDate ( ) { $ dateReference = $ this -> readInteger ( ) ; if ( ( $ dateReference & 0x01 ) == 0 ) { $ dateReference = $ dateReference >> 1 ; if ( $ dateReference >= count ( $ this -> _referenceObjects ) ) { require_once 'Zend/Amf/Exception.php' ; throw new Zend_Amf_Exception ( 'Undefined date reference: ' . $ dateReference ) ; } return $ this -> _referenceObjects [ $ dateReference ] ; } $ timestamp = floor ( $ this -> _stream -> readDouble ( ) / 1000 ) ; require_once 'Zend/Date.php' ; $ dateTime = new Zend_Date ( $ timestamp ) ; $ this -> _referenceObjects [ ] = $ dateTime ; return $ dateTime ; }
docstring: Read and deserialize a date
  
  Data is the number of milliseconds elapsed since the epoch
  of midnight, 1st Jan 1970 in the UTC time zone.
  Local time zone information is not sent to flash.
  
  - date = 0x08 integer-data [ number-data ]
  
  @return Zend_Date
docstring_tokens: Read and deserialize a date