[phpMyAdmin Git] [phpmyadmin/phpmyadmin] dfd015: Improved label in Settings export, clarifying that it's a JSON file