$events top-level property

EventManager $events
final

Implementation

final EventManager $events = EventManager();