Thread:Extension talk:UserExport/UserExport.php ?php missing

The file UserExport.php is missing <?php.

Ps. the GitHub files are 5 years old and should be rmoved or updated.