[Phpmyadmin-devel] accessing PHP_* variables without $_SERVER