diff --git a/scripts/setup/pcntl_available.php b/scripts/setup/pcntl_available.php new file mode 100755 index 0000000000..4fe250ceac --- /dev/null +++ b/scripts/setup/pcntl_available.php @@ -0,0 +1,24 @@ +#!/usr/bin/env php +