Added possibility to set RDF file

Author: DGuerra

lib/Firefox/FirefoxProfile.php

@@ -33,6 +33,11 @@ class FirefoxProfile {
    */
   private $extensions = array();
 
+  /**
+   * @var string
+   */
+  private $rdfFile;
+
   /**
    * @param string $extension The path to the xpi extension.
    * @return FirefoxProfile
@@ -42,6 +47,19 @@ public function addExtension($extension) {
     return $this;
   }
 
+  /**
+   * @param string $rdfFile The path to the rdf file
+   * @return FirefoxProfile
+   */
+  public function setRdfFile($rdfFile) {
+    if(!is_file($rdfFile)) {
+      return;
+    }
+    
+    $this->rdfFile = $rdfFile;
+    return $this;
+  }
+
   /**
    * @param string $key
    * @param string|bool|int $value
@@ -69,6 +87,10 @@ public function setPreference($key, $value) {
   public function encode() {
     $temp_dir = $this->createTempDirectory('WebDriverFirefoxProfile');
 
+    if(isset($this->rdfFile)) {
+      copy($this->rdfFile, $temp_dir . DIRECTORY_SEPARATOR . "mimeTypes.rdf");
+    }
+
     foreach ($this->extensions as $extension) {
       $this->installExtension($extension, $temp_dir);
     }