Browse Source

Search comment/help/description update to include wildcards

pull/40/head
Savetheinternet 13 years ago
parent
commit
a013390352
  1. 4
      mod.php

4
mod.php

@ -111,7 +111,7 @@
'<input id="search" name="search" type="text" size="35" />' . '<input id="search" name="search" type="text" size="35" />' .
'<input type="submit" value="Search" />' . '<input type="submit" value="Search" />' .
'</form>' . '</form>' .
'<p class="unimportant">(Search is case-insensitive, and based on keywords. To match exact phrases, use "quotes".)</p>' . '<p class="unimportant">(Search is case-insensitive, and based on keywords. To match exact phrases, use "quotes". Use an asterisk ("*") for wildcard.)</p>' .
'</li>'; '</li>';
} }
@ -309,7 +309,7 @@
'/>' . '/>' .
'<input type="submit" value="Search" />' . '<input type="submit" value="Search" />' .
'</p></form>' . '</p></form>' .
'<p><span class="unimportant">(Search is case-insensitive, and based on keywords. To match exact phrases, use "quotes".)</span></p>' . '<p><span class="unimportant">(Search is case-insensitive, and based on keywords. To match exact phrases, use "quotes". Use an asterisk ("*") for wildcard.)</span></p>' .
'</div>'; '</div>';
if(isset($_POST['search']) && !empty($_POST['search'])) { if(isset($_POST['search']) && !empty($_POST['search'])) {

Loading…
Cancel
Save