tools/stats.php: restore php 5.3 compatibility; fixes vichan-devel#85