| 45 |
<div id="right_col"> |
<div id="right_col"> |
| 46 |
<?php if ($search_box): ?> |
<?php if ($search_box): ?> |
| 47 |
<form action="<?php print $search_url ?>" method="post" id="searchform"> |
<form action="<?php print $search_url ?>" method="post" id="searchform"> |
| 48 |
<input class="form-text" type="text" size="15" value="" name="keys" id="s" /> |
<input class="form-text" type="text" size="15" value="" name="edit[keys]" id="s" /> |
| 49 |
<input class="form-submit" type="submit" value="<?php print $search_button_text ?>" id="searchsubmit" /> |
<input class="form-submit" type="submit" value="<?php print $search_button_text ?>" id="searchsubmit" /> |
| 50 |
</form> |
</form> |
| 51 |
<?php endif; ?> |
<?php endif; ?> |
Parent Directory
| 
Revision Log
| 
Revision Graph
| 
Patch