The name of this file isscript_mini.txt, which is a txt format, and it is one of the files that can be downloaded and used easily. You can upload similar files without the need for an account, or you can create an account on the site and you will be able to manage your files easily. The site supports many file formats. You can upload your files. Share it anywhere and download it anytime.