Searched refs:ServerPort (Results 1 – 1 of 1) sorted by relevance
132 public function displayWebCategories($ip, $serverName, $serverWeb, $ServerPort) argument138 echo "<div id='categorie_contenu_web'><strong>".$ServerPort."</strong></div>";