<?php $wb['list_head_txt'] = 'Server Configuration'; $wb['server_name_txt'] = 'Server'; $wb['server_id_txt'] = 'server_id'; ?>