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