phase out $_SERVER