Max Semenik 9b0c621d7f Deprecate wfArrayFilter() and wfArrayFilterByKey() ... Now that all our supported PHP versions have array_filter() with a third parameter, these functions aren't needed anymore. Depends-On: I3b097a1a048baabcaca15dc214a3a1bb06e746cc Depends-On: I0187e27ac47cbab099249572201d1a649226a734 Change-Id: I7cabd0252691a083cb749cf9d3a7a23f1d076c39		2018-07-19 08:40:46 +02:00
..
Command.php	Deprecate wfArrayFilter() and wfArrayFilterByKey()	2018-07-19 08:40:46 +02:00
CommandFactory.php	Restrict shell commands by default	2018-04-16 11:50:13 -07:00
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	Improve some parameter docs	2018-01-07 11:39:08 +01:00
Shell.php	shell: Note that ::isDisabled() should be called before ::command()	2018-07-02 22:16:03 +00:00