Fomafix 43244db9a2 Use PHP 7 '??' operator instead of if-then-else ... Change-Id: If9d4be5d88c8927f63cbb84dfc8181baf62ea3eb		2018-10-21 21:46:46 +02:00
..
Command.php	Deprecate wfArrayFilter() and wfArrayFilterByKey()	2018-07-19 08:40:46 +02:00
CommandFactory.php
firejail.profile
FirejailCommand.php	Use PHP 7 '??' operator instead of '?:' with 'isset()' where convenient	2018-05-30 18:06:13 -07:00
limit.sh
Result.php
Shell.php	Use PHP 7 '??' operator instead of if-then-else	2018-10-21 21:46:46 +02:00