1 <?php |
1 <?php |
2 if (!is_search()) { |
2 if ( isset($_GET['s']) ) { |
3 // Default search text |
3 $search_text= utf8_decode(stripslashes($_GET['s'])); |
4 $search_text = __("Search"); |
|
5 } else { |
4 } else { |
6 $search_text = $s; |
5 $search_text= "Rechercher"; |
7 } |
6 } |
8 ?> |
7 ?> |
9 |
|
10 <div class="box"> |
8 <div class="box"> |
11 <div> |
9 <div> |
12 <h6><?php _e("Search");?></h6> |
10 <h6><?php _e("Search");?></h6> |
13 |
11 |
14 <div id="search"> |
12 <div id="search"> |
15 <form method="get" id="searchform" action="<?php bloginfo('url'); ?>/"> |
13 <form method="get" id="searchform" action="<?php bloginfo('url'); ?>/"> |
16 <div> |
14 <div> |
17 <input type="text" name="s" id="s" |
15 <input type="text" name="s" id="s" |
18 value="<?php echo wp_specialchars($s, 1); ?>" |
16 value="<?php echo wp_specialchars($search_text, 1); ?>" |
19 onfocus="clearInput('s', '<?php echo wp_specialchars($s, 1); ?>')" |
17 onfocus="clearInput('s', '<?php echo wp_specialchars($search_text, 1); ?>')" |
20 onblur="clearInput('s', '<?php echo wp_specialchars($s, 1); ?>')" |
18 onblur="clearInput('s', '<?php echo wp_specialchars($search_text, 1); ?>')" |
21 /> |
19 /> |
22 <input type="submit" name="envoi" value="<?php _e("Search");?>" /> |
20 <input type="submit" name="envoi" value="<?php _e("Search");?>" /> |
|
21 <?php if (!have_posts() and isset($_GET['s'])) { |
|
22 echo (" |
|
23 |
|
24 <div id='msg' > |
|
25 Il n‘y a aucun résultat sur cette requète avec le moteur de recherche interne, vous aurrez peut être |
|
26 plus de chance en cherchant sur les autres sites IRI grace au formulaire ci dessous : |
|
27 </div> |
|
28 "); |
23 |
29 |
|
30 } else if (!isset($_GET['s'])) { |
|
31 echo ("<div id='msg' > |
|
32 Ci dessous le formulaire vous permettra de chercher dans les autres sites de l'IRI : |
|
33 </div>"); |
|
34 } |
|
35 ?> |
|
36 |
24 </div> |
37 </div> |
25 </form> |
38 </form> |
26 </div> |
39 </div> |
|
40 |
27 </div> |
41 </div> |
28 <div class="cleaner"></div> |
42 <div class="cleaner"></div> |
29 </div> |
43 </div> |