Jordi Boggiano 0761474599 Add type info to many properties/methods		2021-08-30 14:46:49 +02:00
..
Event.php	Add type info to many properties/methods	2021-08-30 14:46:49 +02:00
EventDispatcher.php	Cleanups	2021-06-05 16:21:46 +02:00
EventSubscriberInterface.php	Add an EventSubscriberInterface which may also be implemented by plugins	2013-08-30 12:51:41 +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