*/
public $repo;
- /**
- * Maps file extensions to MIME Types
- *
- * @var array
- */
- public static $arMimeTypeMap = array(
- 'css' => 'text/css',
- 'htm' => 'text/html',
- 'html' => 'text/html',
- 'js' => 'application/javascript',
- 'php' => 'text/x-php',
- 'txt' => 'text/plain',
- 'xml' => 'text/xml',
- );
-
- /**
- * Maps file extensions to geshi types
- *
- * @var array
- */
- public static $arTypeMap = array(
- 'htm' => 'xml',
- 'html' => 'xml',
- );
-
- public function __construct($path, Repository $repo)
+ public function __construct($path, Repository $repo = null)
{
$this->path = $path;
$this->repo = $repo;
}
/**
- * Get file extension without dot
+ * Return the full path to the file
*
* @return string
*/
- public function getExt()
+ public function getPath()
{
- return substr($this->path, strrpos($this->path, '.') + 1);
+ return $this->path;
}
/**
- * Returns the type of the file, as used by Geshi
+ * Get file extension without dot
*
* @return string
*/
- public function getType()
+ public function getExt()
{
- $ext = $this->getExt();
- if (isset(static::$arTypeMap[$ext])) {
- $ext = static::$arTypeMap[$ext];
- }
-
- return $ext;
+ return substr($this->path, strrpos($this->path, '.') + 1);
}
public function getContent()
* Yes, geshi needs to be in your include path
* We use the mediawiki geshi extension package.
*/
- require 'MediaWiki/geshi/geshi/geshi.php';
- $geshi = new \GeSHi($this->getContent(), $this->getType());
+ 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();
}
- public function getMimeType()
- {
- $ext = $this->getExt();
- if (!isset(static::$arMimeTypeMap[$ext])) {
- return null;
- }
- return static::$arMimeTypeMap[$ext];
- }
-
/**
* Get a link to the 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