Display the favorite pages in a user profile menu

For versions on which the extension point is available and allows applications to push entries in the user profile menu ( https://www.xwiki.org/xwiki/bin/view/Documentation/DevGuide/ExtensionPoint/UserProfileMenu ) , there should be an entry there listing the favorites.