Jordi Boggiano 2b58f2c625 Fix getmypid being required as it is not always available, fixes #11401		2023-05-07 14:48:34 +02:00
..
Input	Update to PHPStan 1.9	2022-11-03 21:53:42 +01:00
Application.php	Fix getmypid being required as it is not always available, fixes #11401	2023-05-07 14:48:34 +02:00
GithubActionError.php	Fix CS (#11003)	2022-08-17 14:20:07 +02:00
HtmlOutputFormatter.php	Update to PHPStan 1.9	2022-11-03 21:53:42 +01:00