Don't add 'index.php' to url, REQUEST_URI has it

See http://php.net/manual/en/reserved.variables.server.php

diff --git a/index.php b/index.php
index 167c4401cc792774b1210646281b7cee54539680..d89fa41c3bc2ff5d4125797824c326695fc8d12b 100755 (executable)
--- a/index.php
+++ b/index.php
@@ -84,7 +84,7 @@ function url(){
                                <li><a href="index.php">home</a></li>
                                <li><a href="#">favorites</a></li>
                                <li><a href="#">archive</a></li>
-                <li><a href="javascript:(function(){var%20url%20=%20location.href;var%20title%20=%20document.title%20||%20url;window.open('<?php echo url()?>index.php?action=add&url='%20+%20encodeURIComponent(url),'_self');})();">poche it !</a></li>
+                <li><a href="javascript:(function(){var%20url%20=%20location.href;var%20title%20=%20document.title%20||%20url;window.open('<?php echo url()?>?action=add&url='%20+%20encodeURIComponent(url),'_self');})();">poche it !</a></li>
                        </ul>
                <?php
                        $query = $db_handle->prepare("SELECT * FROM entries WHERE read=?");