Mini Shell

Name	Size	Permissions	Options
codemirror	--	drwxr-s---
database	--	drwxr-s---
designer	--	drwxr-s---
jqplot	--	drwxr-s---
server	--	drwxr-s---
setup	--	drwxr-s---
table	--	drwxr-s---
transformations	--	drwxr-s---

ajax.js	33.591 KB	-rw-r-----
chart.js	18.289 KB	-rw-r-----
common.js	5.139 KB	-rw-r-----
config.js	25.606 KB	-rw-r-----
console.js	56.458 KB	-rw-r-----
cross_framing_protection.js	0.413 KB	-rw-r-----
doclinks.js	18.542 KB	-rw-r-----
drag_drop_import.js	14.255 KB	-rw-r-----
error_report.js	10.337 KB	-rw-r-----
export.js	34.371 KB	-rw-r-----
export_output.js	0.393 KB	-rw-r-----
functions.js	159.656 KB	-rw-r-----
gis_data_editor.js	14.37 KB	-rw-r-----
home.js	5.956 KB	-rw-r-----
import.js	6.021 KB	-rw-r-----
indexes.js	29.802 KB	-rw-r-----
jquery.sortable-table.js	11.024 KB	-rw-r-----
keyhandler.js	3.263 KB	-rw-r-----
makegrid.js	96.901 KB	-rw-r-----
menu_resizer.js	6.426 KB	-rw-r-----
multi_column_sort.js	1.341 KB	-rw-r-----
name-conflict-fixes.js	0.043 KB	-rw-r-----
navigation.js	59.644 KB	-rw-r-----
normalization.js	28.835 KB	-rw-r-----
ol.mjs	1.026 KB	-rw-r-----
page_settings.js	1.664 KB	-rw-r-----
replication.js	3.714 KB	-rw-r-----
shortcuts_handler.js	3.724 KB	-rw-r-----
sql.js	38.943 KB	-rw-r-----
u2f.js	3.394 KB	-rw-r-----