[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 2210de: Fix type error in setup script when adding new server

Branch: refs/heads/QA_4_8 Home: https://github.com/phpmyadmin/phpmyadmin Commit: 2210debbf9c66127781e0ce3cb845fa8475c6a92 https://github.com/phpmyadmin/phpmyadmin/commit/2210debbf9c66127781e0ce3cb84... Author: Maurício Meneghini Fauth <mauricio@fauth.dev> Date: 2019-03-15 (Fri, 03 March 2019) -03:00 Changed paths: M ChangeLog M setup/lib/FormProcessing.php Log Message: ----------- Fix type error in setup script when adding new server Fixes #14312 Signed-off-by: Maurício Meneghini Fauth <mauricio@fauth.dev>