| Name | Size | Mode | Actions |
|---|---|---|---|
| caret/ | - | 0755 | rm |
| data/ | - | 0755 | rm |
| dom/ | - | 0755 | rm |
| file/ | - | 0755 | rm |
| fmt/ | - | 0755 | rm |
| geom/ | - | 0755 | rm |
| html/ | - | 0755 | rm |
| text/ | - | 0755 | rm |
| ui/ | - | 0755 | rm |
| util/ | - | 0755 | rm |
| AddOnManager.js | 1449 | 0644 | editdlrm |
| Editor.js | 14192 | 0644 | editdlrm |
| EditorCommands.js | 31057 | 0644 | editdlrm |
| EditorManager.js | 5002 | 0644 | editdlrm |
| EditorUpload.js | 8592 | 0644 | editdlrm |
| Editor_rtl.js | 1599 | 0644 | editdlrm |
| EnterKey.js | 39656 | 0644 | editdlrm |
| ForceBlocks.js | 2981 | 0644 | editdlrm |
| Formatter_apply.js | 61887 | 0644 | editdlrm |
| Formatter_check.js | 8452 | 0644 | editdlrm |
| Formatter_remove.js | 18252 | 0644 | editdlrm |
| InsertContent.js | 4001 | 0644 | editdlrm |
| InsertList.js | 1403 | 0644 | editdlrm |
| SelectionOverrides.js | 11912 | 0644 | editdlrm |
| Shortcuts.js | 2366 | 0644 | editdlrm |
| UndoManager.js | 10011 | 0644 | editdlrm |
| WindowManager.js | 852 | 0644 | editdlrm |