| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | GM_xmlhttpRequester.js | 7594 | logplain |
| -rw-r--r-- | convert-2-regexp.js | 640 | logplain |
| -rw-r--r-- | greasemonkey-api.js | 2382 | logplain |
| -rw-r--r-- | userscript-header-parser.js | 804 | logplain |
| -rw-r--r-- | userscript-manager.js | 1192 | logplain |
| -rw-r--r-- | userscript-sandbox.js | 711 | logplain |