[jan] Fix compatibility with PHP 5.3 (Bug #11888).