Fix: 3.2 was ok with PHP 5.3 only, not 5.4