Outils pour utilisateurs

Outils du site


start

Ceci est une ancienne révision du document !


~~META: title = Home ~~

Wiki

echo $_SERVER["REMOTE_USER"];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.1597821737.txt.gz · Dernière modification : (modification externe)