Исправления багов и ошибок в phpAdmin за 13 февраля от Марка Делисла и Себастьяна Менделя - устранены баги: #1425688: причуды при выборе сервера, #1409893: некорректная работа ссылок в навигационном фрейме, #1416848: ошибка при вставке новой строки со страницы 'Browse', #1425522: предупреждения при вызове сохраненных процедур.
