[ $prod ? '/home' : '/page_home.php', 'Home' ], // 'wifi' => [ $prod ? '/wifi' : '/page_wifi.php', 'WiFi config' ], ]; $appname = 'WiFi Demo'; function e($s) { return htmlspecialchars($s, ENT_HTML5|ENT_QUOTES); } ?>