Tiny File Manager

Copied from phpmyadmin/js/dist/page_settings.js to phpmyadmin/js/dist/codemirror/page_settings.js

	Name	Size	Modified	Perms	Owner
	..
	addon	Folder	11/25/2025 7:07 PM	0777	ahrcc:ahrcc
	ajax.js	29.25 KB	09/16/2025 6:18 PM	0644	www-data:www-data
	gis_data_editor.js	13.26 KB	09/16/2025 6:18 PM	0644	www-data:www-data
	indexes.js	26.33 KB	09/16/2025 6:18 PM	0644	www-data:www-data
	page_settings.js	1.78 KB	09/16/2025 6:18 PM	0644	www-data:www-data
Full Size: 70.62 KB File: 4 Folder: 1