X-Git-Url: http://git.onelab.eu/?a=blobdiff_plain;f=debugger%2Fcontroller.php;h=1501ac031bb3f565cb3475c3ac6b31ccd6a65c52;hb=723faca05d5bc0d03b7517ced114b64bad1a1637;hp=fa040c2ea33d7d40884105565756868218b0e880;hpb=b34e4fad9ca78985f11135cebfd697d99eaa94cb;p=plcapi.git

diff --git a/debugger/controller.php b/debugger/controller.php
index fa040c2..1501ac0 100644
--- a/debugger/controller.php
+++ b/debugger/controller.php
@@ -31,6 +31,7 @@ $editorlibs = (defined('JSXMLRPC_PATH') ? JSXMLRPC_PATH : '../..') . '/jsxmlrpc/
     "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
 <html xmlns="http://www.w3.org/1999/xhtml" lang="en">
 <head>
+    <link rel="icon" type="image/vnd.microsoft.icon" href="favicon.ico">
     <title><?php if (defined('DEFAULT_WSTYPE') && DEFAULT_WSTYPE == 1) echo 'JSONRPC'; else echo 'XMLRPC'; ?> Debugger</title>
     <meta name="robots" content="index,nofollow"/>
     <script type="text/javascript" language="Javascript">
