BookmarkManager.php updated