Adding settings to thee php autograder.