doctype and php