file type and language definition happens in config.default.php now

[phorkie.git] / src / Phorkie / File.php

diff --git a/src/Phorkie/File.php b/src/Phorkie/File.php
index f12d837a9b111eeb771893af3d60f86b0042de27..34a759a5081723d9f57a79e8ac08039a5eeee596 100644 (file)
--- a/src/Phorkie/File.php
+++ b/src/Phorkie/File.php
@@ -17,7 +17,7 @@ class File
      */
     public $repo;
 
-    public function __construct($path, Repository $repo)
+    public function __construct($path, Repository $repo = null)
     {
         $this->path = $path;
         $this->repo = $repo;
@@ -34,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);
     }
@@ -48,6 +58,19 @@ class File
         return file_get_contents($this->path);
     }
 
+    public function getHighlightedContent()
+    {
+        /**
+         * 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();
+    }
+
     /**
      * Get a link to the file
      *
@@ -64,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