[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 7dc178: Avoid double saving of version into session cache