diff -r 902822492a68 -r fe660c52c48f includes/wikiengine/Render/Plain/Specialchar.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/includes/wikiengine/Render/Plain/Specialchar.php Wed Jun 13 16:07:17 2007 -0400 @@ -0,0 +1,54 @@ + + * @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']; + } + } +} + +?>