[Phpmyadmin-devel] use of session_name()