| 67 |
<!-- Closes the container div--> |
<!-- Closes the container div--> |
| 68 |
<div id="menu"> |
<div id="menu"> |
| 69 |
<?php if ($search_box): ?> |
<?php if ($search_box): ?> |
| 70 |
<form id="searchform" method="get" action="<?php echo $PHP_SELF; ?>"> |
<form id="searchform" method="post" action="<?php echo $search_url; ?>"> |
| 71 |
<input id="searchbutton" type="submit" name="submit" value="<?php print $search_button_text ?>" /> |
<input id="searchbutton" type="submit" name="submit" value="<?php print $search_button_text ?>" /> |
| 72 |
<input type="text" name="edit[keys]" id="search" size="15" /> |
<input type="text" name="edit[keys]" id="search" size="15" /> |
| 73 |
</form> |
</form> |
Parent Directory
| 
Revision Log
| 
Revision Graph
| 
Patch