[Phpmyadmin-devel] origin of the variable $selected in sql.php