Enabled support for PHP 5.3

PHP 5.3 support was unfortunately broken, my mistake. But now it works again! ;)