Leaderboard improvements

v0.25.0

by feildmaster (April 11, 2019)

  1. Switch to a specific page with a dropdown menu
  2. Generates a URL to a user/page
  3. Notification (toast) when user isn’t found