<?php class Extension { public function receive_event($event) {} } ?>