/////////////////////////////////////////////////
// PukiWiki - Yet another WikiWikiWeb clone.
//
-// $Id: plugin.php,v 1.4 2003/02/26 03:04:25 panda Exp $
+// $Id: plugin.php,v 1.5 2003/02/28 06:18:39 panda Exp $
//
// ¥×¥é¥°¥¤¥óÍѤË̤ÄêµÁ¤ÎÊÑ¿ô¤òÀßÄê
if($retvar === FALSE)
{
- return "#${name}(${args})";
+ return htmlspecialchars('#'.$name.($args ? "($args)" : ''));
}
return $retvar;
if($retvar === FALSE)
{
- return "#${name}(${args})";
+ return htmlspecialchars("&${name}" . ($args ? "($args)" : '') . ';');
}
return $retvar;