Fix up PHP file