Jordi Boggiano 89ce53250e Final type additions		2022-02-23 12:54:07 +01:00
..
Event.php	Add more types	2022-02-23 11:37:32 +01:00
EventDispatcher.php	Final type additions	2022-02-23 12:54:07 +01:00
EventSubscriberInterface.php	Lots of typing improvements	2021-10-12 22:47:23 +02:00
ScriptExecutionException.php	Add ScriptExecutionException for CLI scripts and avoid showing the full exception to users, fixes #5281	2016-05-05 13:26:26 +01:00