get_operator_name($operator), 'version' => 'v1.0.7' ); $localeLinks = ""; foreach($available_locales as $k) { if( strlen($localeLinks) > 0 ) $localeLinks .= " • "; if( $k == $current_locale ) $localeLinks .= $k; else $localeLinks .= "$k"; } $page['localeLinks'] = $localeLinks; start_html_output(); require('../view/menu.php'); ?>