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