PhpMyAdmin addon: Disable MySQL server library diff warning ; Disable version check