<body> <?= $ipdev = $_SERVER['SERVER_ADDR']; ?> <div id="container"> <h1>Settings</h1> <a class="button green" href="settings.php" target="_blank">Settings</a> <a class="button green" href="networks.php" target="_blank">Networks</a> <a class="button green" href="reboot.php" target="_blank">Reboot System</a> <a class="button green" href="$ipdev :4200" target="_blank">Terminal</a>
<a class="button green" href="<?php $_SERVER['SERVER_ADDR']; ?>:4200" target="_blank">Terminal</a>