diff options
-rw-r--r-- | index.php | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1236,10 +1236,10 @@ function renderPage($conf, $pluginManager, $LINKSDB, $history, $sessionManager, | |||
1236 | $id = (int) escape($id); | 1236 | $id = (int) escape($id); |
1237 | $link = $LINKSDB[$id]; | 1237 | $link = $LINKSDB[$id]; |
1238 | $pluginManager->executeHooks('delete_link', $link); | 1238 | $pluginManager->executeHooks('delete_link', $link); |
1239 | $history->deleteLink($link); | ||
1239 | unset($LINKSDB[$id]); | 1240 | unset($LINKSDB[$id]); |
1240 | } | 1241 | } |
1241 | $LINKSDB->save($conf->get('resource.page_cache')); // save to disk | 1242 | $LINKSDB->save($conf->get('resource.page_cache')); // save to disk |
1242 | $history->deleteLink($link); | ||
1243 | 1243 | ||
1244 | // If we are called from the bookmarklet, we must close the popup: | 1244 | // If we are called from the bookmarklet, we must close the popup: |
1245 | if (isset($_GET['source']) && ($_GET['source']=='bookmarklet' || $_GET['source']=='firefoxsocialapi')) { echo '<script>self.close();</script>'; exit; } | 1245 | if (isset($_GET['source']) && ($_GET['source']=='bookmarklet' || $_GET['source']=='firefoxsocialapi')) { echo '<script>self.close();</script>'; exit; } |