/////////////////////////////////////////////////
// PukiWiki - Yet another WikiWikiWeb clone.
//
-// $Id: plugin.php,v 1.8 2003/07/27 13:51:36 arino Exp $
+// $Id: plugin.php,v 1.9 2003/09/27 15:26:19 arino Exp $
//
// ¥×¥é¥°¥¤¥óÍѤË̤ÄêµÁ¤ÎÊÑ¿ô¤òÀßÄê
//¥×¥é¥°¥¤¥ó(convert)¤ò¼Â¹Ô
function do_plugin_convert($name,$args='')
{
+ global $digest;
+
+ // digest¤òÂàÈò
+ $_digest = $digest;
+
$aryargs = ($args !== '') ? explode(',',$args) : array();
do_plugin_init($name);
$retvar = call_user_func_array('plugin_'.$name.'_convert',$aryargs);
+ // digest¤òÉü¸µ
+ $digest = $_digest;
+
if ($retvar === FALSE)
{
return htmlspecialchars('#'.$name.($args ? "($args)" : ''));
//¥×¥é¥°¥¤¥ó(inline)¤ò¼Â¹Ô
function do_plugin_inline($name,$args,$body)
{
+ global $digest;
+
+ // digest¤òÂàÈò
+ $_digest = $digest;
+
$aryargs = ($args !== '') ? explode(',',$args) : array();
$aryargs[] =& $body;
do_plugin_init($name);
$retvar = call_user_func_array('plugin_'.$name.'_inline',$aryargs);
+ // digest¤òÉü¸µ
+ $digest = $_digest;
+
if($retvar === FALSE)
{
return htmlspecialchars("&${name}" . ($args ? "($args)" : '') . ';');