original_string: protected function _timeToMongoDate($time)
      {
          if(!is_numeric($time)) {
              $time = strtotime($time);
              if(!$time) {
                  $time = time();
              }
          }
          
          return new \MongoDate($time);
      }
code: protected function _timeToMongoDate($time)
      {
          if(!is_numeric($time)) {
              $time = strtotime($time);
              if(!$time) {
                  $time = time();
              }
          }
          
          return new \MongoDate($time);
      }
code_tokens: protected function _timeToMongoDate ( $ time ) { if ( ! is_numeric ( $ time ) ) { $ time = strtotime ( $ time ) ; if ( ! $ time ) { $ time = time ( ) ; } } return new \ MongoDate ( $ time ) ; }
docstring: Convert time in different formats to mongo date
  @param mixed $time
  @return \MongoDate
docstring_tokens: Convert time in different formats to mongo date