[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 473057: Add null as default for Server control_ properties