*/
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;
}
/**
- * 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);
}
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();
}
/**
}
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