web/wp-content/themes/IRI-Theme/searchform.php
changeset 136 bde1974c263b
child 144 df0ebfb22f63
equal deleted inserted replaced
135:53cff4b4a802 136:bde1974c263b
       
     1 	<?php
       
     2 	if ( isset($_GET['s']) ) {
       
     3 		$search_text= utf8_decode(stripslashes($_GET['s']));
       
     4 	} else {
       
     5 		$search_text= "Rechercher";
       
     6 	}	
       
     7 	?>
       
     8 		<div class="box">
       
     9 			<div>
       
    10 				<h6><?php _e("Search");?></h6>
       
    11 
       
    12 				<div id="search">
       
    13 					<form method="get" id="searchform" action="<?php bloginfo('url'); ?>/">
       
    14 						<div>
       
    15 							<input type="text" name="s" id="s"
       
    16 										 value="<?php echo wp_specialchars($search_text, 1); ?>"
       
    17 										 onfocus="clearInput('s', '<?php echo wp_specialchars($search_text, 1); ?>')" 
       
    18 										 onblur="clearInput('s', '<?php echo wp_specialchars($search_text, 1); ?>')"
       
    19 							/>
       
    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&#145;y a aucun r&eacute;sultat  sur cette requ&egrave;te avec le moteur de recherche interne, vous aurrez  peut 	&ecirc;tre 
       
    26 									plus de chance en cherchant sur les autres sites IRI grace au formulaire ci dessous :
       
    27 								</div>
       
    28 								");
       
    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 
       
    37 						</div>
       
    38 					</form>
       
    39 				</div>
       
    40 				
       
    41 			</div>
       
    42 			<div class="cleaner"></div>	
       
    43 		</div>