Using // At the end of MySQL Query

Question

So I am using phpMyadmin 4.9.2, MariaDB 10.4.11, and want to export a single trigger using the export button on phpmyadmin trigger page, it show the query like this to be co