trivial fix for PHP >= 5.3, thanks to Martin von Wittich
This page took 0.020607 seconds and 3 git commands to generate.