A (future) PHP extension that provides a regex-restricted shell_exec replacement.