Plugin AdminerSQL: Fix info.php