Moved logout function in dedicated file

lib/js/logout.js

@@ -0,0 +1,3 @@
+function logout ( ) {
+    window.location.href = script_name+"/logout";
+}

lib/js/manage.js

@@ -39,6 +39,3 @@ function urlinsert() {
     data.append('url', url);
     xhr.send( data );
 }
-function logout ( ) {
-    window.location.href = script_name+"/logout";
-}

lib/php/manage.php

@@ -33,6 +33,7 @@
         <button onclick="urlinsert()">Insert new URL</button><br>
         <div id="responsetext"></div>
         <script src="<?=$GLOBALS['config']['installation_path']?>/lib/js/manage.js"></script>
+        <script src="<?=$GLOBALS['config']['installation_path']?>/lib/js/logout.js"></script>
         <script>var script_name = "<?=$GLOBALS['config']['installation_path']?>";</script>
     </body>
 </html>