PHP classes for displaying flash messages to the user