Some basic PHP stuff.