*/
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 = null)
{
$this->path = $path;
return substr($this->path, strrpos($this->path, '.') + 1);
}
- /**
- * Returns the type of the file, as used by Geshi
- *
- * @return string
- */
- public function getType()
- {
- $ext = $this->getExt();
- if (isset(static::$arTypeMap[$ext])) {
- $ext = static::$arTypeMap[$ext];
- }
-
- return $ext;
- }
-
public function getContent()
{
return file_get_contents($this->path);
* We use the mediawiki geshi extension package.
*/
require_once 'MediaWiki/geshi/geshi/geshi.php';
- $geshi = new \GeSHi($this->getContent(), $this->getType());
+ $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