refactor: remove controls for the IRC bot and proxy scanner

admin/index.html

@@ -16,10 +16,8 @@
   <h2>Server management</h2>
   <ul>
    <li><a href="ticks.php">Ticks</a>: enable / disable the tick manager, run ticks manually</li>
-   <li><a href="proxy.php">Proxy detector</a>: control the detector's status and manually check for open proxies</li>
    <li><a href="maintenance.php">Maintenance</a>: activate / de-activate maintenance mode</li>
    <li><a href="maps.php">Maps management</a>: manage maps used for <i>Kings of the Hill</i> games</li>
-   <li><a href="bot.php">IRC bot</a>: control the IRC bot</li>
   </ul>
  </body>
 </html>