Some adjustments to PHP library.