original_string: public function convert($src, $dst, $profileName, $options = array()) {
      $this->setTimeLimit();
      $this->mergeOptions($src, $dst, $options);
      $converter = $this->createConverter($options['targetFormat'], $profileName);
      $result = $converter->create($src, $dst, $options);
      return $result;
    }
code: public function convert($src, $dst, $profileName, $options = array()) {
      $this->setTimeLimit();
      $this->mergeOptions($src, $dst, $options);
      $converter = $this->createConverter($options['targetFormat'], $profileName);
      $result = $converter->create($src, $dst, $options);
      return $result;
    }
code_tokens: public function convert ( $ src , $ dst , $ profileName , $ options = array ( ) ) { $ this -> setTimeLimit ( ) ; $ this -> mergeOptions ( $ src , $ dst , $ options ) ; $ converter = $ this -> createConverter ( $ options [ 'targetFormat' ] , $ profileName ) ; $ result = $ converter -> create ( $ src , $ dst , $ options ) ; return $ result ; }
docstring: Convert a given video to html5 video
  
  @param string $src Source filename
  @param string $dst Destination filename
  @param string $profileName Profile name
  @param array $options Additional options
  - targetFormat: target container format. Default extension of $dst
  - width: Width of source video
  - height: Height of source video
  - audio: true | false
  @return mixed
docstring_tokens: Convert a given video to html5 video