Thread:Extension talk:Favorites/Redirect bug/reply

I forgot about that one - thanks for pointing it out. While debugging, I also noticed that deleted pages stay on the list. I could debate whether this should be the right behavior or not, but I went ahead and set it to remove deleted pages from the favorites list, as well. Update is available in trunk (FavoritedItem.php and Favorites.php). I'll update the snapshots when you let me know that this is working as desired.