Personal/cops
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Enhance the search to have a different output depending on the current page. re #34

Browse source
This commit is contained in:
Sébastien Lucas 2013-03-08 09:40:25 +01:00
parent a4002e28ae
commit 6a9646bf15
2 changed files with 11 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

3
index.php
View file

@ -167,11 +167,12 @@
<div class="clearer" />
<div id="tool" <?php if ($withToolbar) echo 'style="display: none"' ?>>
<div style="float: left; width: 60%">
<form action="index.php?page=9" method="get">
<form action="index.php" method="get">
<div style="float: right">
<input type="image" src="images/search32.png" alt="Search" />
</div>
<div class="stop">
<input type="hidden" name="current" value="<?php echo $page ?>" />
<input type="hidden" name="page" value="9" />
<input type="text" name="query" />
</div>