<?php
$wb['list_head_txt'] = "Configuration du serveur";
$wb['server_name_txt'] = "Serveur";
?>