badges/tests/badgeslib_test.php: syntax error fix :D