MariaDB/MySQL Exporting the database, Import SQL, and Import CSV

How to export the database in MariaDB/MySQL using phpMyAdmin, import a previously exported SQL database, and import CSV (and other) files using LOAD DATA INFILE.

Files from the video:
+ first.sql – https://gist.github.com/drpventura/f53ead7141b2588039cca4341dba7a6f
+ instr-classes.csv – https://gist.github.com/drpventura/237b6c2ca6e29b4e973e212dfeab2d0b
+ teaching.sql – commands for creating the table and load data – https://gist.github.com/drpventura/e29b3031af4f10d137b1c81c9a079586
+ seven_probs.csv – https://gist.github.com/drpventura/1c8701fbae8a736883f5aee58fa08b5a