A simple PHP event dispatcher