diff -r f0431eb8161e -r 98c052fc3337 includes/wikiengine/Render/Plain/Specialchar.php --- a/includes/wikiengine/Render/Plain/Specialchar.php Sun Jun 21 00:16:21 2009 -0400 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,54 +0,0 @@ - - * @copyright 2005 bertrand Gugger - * @license http://www.gnu.org/copyleft/lesser.html LGPL License 2.1 - * @version CVS: $Id: Specialchar.php,v 1.1 2005/08/15 11:10:38 toggg Exp $ - * @link http://pear.php.net/package/Text_Wiki - */ - -/** - * This class renders special characters in Plain. - * - * @category Text - * @package Text_Wiki - * @author Bertrand Gugger - * @copyright 2005 bertrand Gugger - * @license http://www.gnu.org/copyleft/lesser.html LGPL License 2.1 - * @version Release: @package_version@ - * @link http://pear.php.net/package/Text_Wiki - */ -class Text_Wiki_Render_Plain_SpecialChar extends Text_Wiki_Render { - - var $types = array('~bs~' => '\\', - '~hs~' => ' ', - '~amp~' => '&', - '~ldq~' => '"', - '~rdq~' => '"', - '~lsq~' => "'", - '~rsq~' => "'", - '~c~' => '©', - '~--~' => '-', - '" -- "' => '-', - '" -- "' => '-', - '~lt~' => '<', - '~gt~' => '>'); - - function token($options) - { - if (isset($this->types[$options['char']])) { - return $this->types[$options['char']]; - } else { - return $options['char']; - } - } -} - -?>