Tidying up PHP files