PHPSpecs for FlashEventListener