PhpMyAdmin addon: Updated conffile in prevision of PR (#17) merge