file type and language definition happens in config.default.php now
[phorkie.git] / src / Phorkie / File.php
index 14a7bbf335fbbeb907a99941b1a29eee1ba1df33..34a759a5081723d9f57a79e8ac08039a5eeee596 100644 (file)
@@ -17,16 +17,7 @@ class File
      */
     public $repo;
 
-    public static $arMimeTypeMap = array(
-        'css'  => 'text/css',
-        'htm'  => 'text/html',
-        'html' => 'text/html',
-        'js'   => 'application/javascript',
-        'php'  => 'text/x-php',
-        'txt'  => 'text/plain',
-    );
-
-    public function __construct($path, Repository $repo)
+    public function __construct($path, Repository $repo = null)
     {
         $this->path = $path;
         $this->repo = $repo;
@@ -43,11 +34,21 @@ class File
     }
 
     /**
-     * Returns the type of the file, as used internally by Phorkie
+     * Return the full path to the file
      *
      * @return string
      */
-    public function getType()
+    public function getPath()
+    {
+        return $this->path;
+    }
+
+    /**
+     * Get file extension without dot
+     *
+     * @return string
+     */
+    public function getExt()
     {
         return substr($this->path, strrpos($this->path, '.') + 1);
     }
@@ -57,13 +58,17 @@ class File
         return file_get_contents($this->path);
     }
 
-    public function getMimeType()
+    public function getHighlightedContent()
     {
-        $type = $this->getType();
-        if (!isset(static::$arMimeTypeMap[$type])) {
-            return null;
-        }
-        return static::$arMimeTypeMap[$type];
+        /**
+         * Yes, geshi needs to be in your include path
+         * We use the mediawiki geshi extension package.
+         */
+        require_once 'MediaWiki/geshi/geshi/geshi.php';
+        $geshi = new \GeSHi($this->getContent(), $this->getGeshiType());
+        $geshi->enable_line_numbers(GESHI_NORMAL_LINE_NUMBERS);
+        $geshi->set_header_type(GESHI_HEADER_DIV);
+        return $geshi->parse_code();
     }
 
     /**
@@ -82,6 +87,30 @@ class File
         }
         throw new Exception('Unknown type');
     }
+
+    /**
+     * Returns the type of the file, as used by Geshi
+     *
+     * @return string
+     */
+    public function getGeshiType()
+    {
+        $ext = $this->getExt();
+        if (isset($GLOBALS['phorkie']['languages'][$ext]['geshi'])) {
+            $ext = $GLOBALS['phorkie']['languages'][$ext]['geshi'];
+        }
+
+        return $ext;
+    }
+
+    public function getMimeType()
+    {
+        $ext = $this->getExt();
+        if (!isset($GLOBALS['phorkie']['languages'][$ext])) {
+            return null;
+        }
+        return $GLOBALS['phorkie']['languages'][$ext]['mime'];
+    }
 }
 
 ?>
\ No newline at end of file