Source Code Exporter

1// ==UserScript==
2// @name		Source Code Exporter
3// @description		A new extension
4// @version		1.1.4
5// @match		https://*.robomonkey.io/*
6// @icon		https://robomonkey.io/favicon.ico
7// @require		https://cdnjs.cloudflare.com/ajax/libs/jszip/3.10.1/jszip.min.js
8// ==/UserScript==
9(function() {
10    'use strict';
11    // Your code here
12})();`;
13        
14        // Create ZIP file using JSZip
15        const zip = new JSZip();
16        zip.file('extension.user.js', sourceCode);
17        
18        // Generate ZIP blob
19        const blob = await zip.generateAsync({ type: 'blob' });
20        
21        // Create download link
22        const url = URL.createObjectURL(blob);
23        const a = document.createElement('a');
24        a.href = url;
25        a.download = 'source-code-exporter.zip';
26        document.body.appendChild(a);
27        a.click();
28        document.body.removeChild(a);
29        URL.revokeObjectURL(url);
30        
31        console.log('Source code downloaded as ZIP file');
32    }
33    
34    // Initialize when page loads
35    if (document.readyState === 'loading') {
36        document.addEventListener('DOMContentLoaded', createDownloadButton);
37    } else {
38        createDownloadButton();
39    }
40})();