Thiemo Kreuz 1006aa41e6 Fix mismatching type hints in PHPDoc tags ... This is a collection of random bits from my local stashes. This patch intentionally only touches comments, no code. Notably: * Use more specific string[] instead of array, if possible. * Some comments mention "or null", but miss to list the type. Change-Id: I712b28964f125c8e3dcb4e3fb993757a09f96644		2020-03-24 09:59:02 +01:00
..
Command.php	Coding style: Auto-fix MediaWiki.Usage.IsNull.IsNull	2020-01-10 14:17:13 -08:00
CommandFactory.php	Fix mismatching type hints in PHPDoc tags	2020-03-24 09:59:02 +01:00
firejail.profile
FirejailCommand.php	Shell: Add more types	2019-10-31 01:16:35 +00:00
limit.sh
Result.php	Shell\Result: declare types, enable strict types	2019-10-30 17:58:23 -07:00
Shell.php	Coding style: Auto-fix MediaWiki.Usage.IsNull.IsNull	2020-01-10 14:17:13 -08:00