git ignore adminer.php