Updating push notification page to send out messages to devices belonging to users with a given role