Outils pour utilisateurs

Outils du site


start

Ceci est une ancienne révision du document !


~~META: title = Home ~~

Wiki

if( $_SERVER["REMOTE_USER"]=="fabien") {echo "<div style=\"display:none;\">\n";}

if( $_SERVER["REMOTE_USER"]=="fabien") {echo "</div>\n";}

if( $_SERVER["REMOTE_USER"]!="fabien") {echo "<div style=\"display:none;\">\n";}

if( $_SERVER["REMOTE_USER"]!="fabien") {echo "</div>\n";}

start.1680719130.txt.gz · Dernière modification : de 127.0.0.1