[checkmk-commits] Made default.php PHP < 5.3 compatible again