| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | GM_xmlhttpRequester.js | 7594 | logplain |
| -rw-r--r-- | convert-2-regexp.js | 617 | logplain |
| -rw-r--r-- | greasemonkey-api.js | 2306 | logplain |
| -rw-r--r-- | userscript-header-parser.js | 773 | logplain |
| -rw-r--r-- | userscript-manager.js | 1192 | logplain |
| -rw-r--r-- | userscript-sandbox.js | 688 | logplain |