<?php
// PukiWiki - Yet another WikiWikiWeb clone
-// $Id: rename.inc.php,v 1.23 2005/01/23 08:08:00 henoheno Exp $
+// $Id: rename.inc.php,v 1.24 2005/02/08 13:21:06 henoheno Exp $
//
// Rename plugin: Rename page-name and related data
//
$radio_regex = $radio_page = '';
if ($method == 'regex') {
- $radio_regex =' checked';
+ $radio_regex = ' checked="checked"';
} else {
- $radio_page = ' checked';
+ $radio_page = ' checked="checked"';
}
$select_refer = plugin_rename_getselecttag($refer);
$s_dst = htmlspecialchars(plugin_rename_getvar('dst'));
$ret = array();
- $ret['msg'] = $_rename_messages['msg_title'];
+ $ret['msg'] = $_rename_messages['msg_title'];
$ret['body'] = <<<EOD
$msg
<form action="$script" method="post">