<?php
/*
* A generic extension class, for subclassing
*/
class Extension {
public function receive_event($event) {}
}
?>
