Update php/html indent setting