set of PHP extensions to be used within the Raspberry Pi (instead of using Python)