The php-dio package contains a dynamic shared object (DSO) for PHP. 
To activate it, make sure a file /etc/php/18_dio.ini is present and
contains the line 'extension = dio.so'.
