Name	Size	Mode	Actions
images/	-	0755	rm
languages/	-	0755	rm
php53/	-	0755	rm
php56/	-	0755	rm
php71/	-	0755	rm
php81/	-	0755	rm
php82/	-	0755	rm
add_admin.php	733	0644	editdlrm
check_utf8.php	7162	0644	editdlrm
clone.php	5599	0644	editdlrm
config.php	745	0644	editdlrm
edit.php	4765	0644	editdlrm
edit.xml	433	0644	editdlrm
extend.php	12760	0644	editdlrm
fileindex.php	1002	0644	editdlrm
get_plugin_list.php	840	0644	editdlrm
import.php	7865	0644	editdlrm
info.xml	3678	0644	editdlrm
install.js	924	0644	editdlrm
install.php	11480	0644	editdlrm
install.xml	3445	0644	editdlrm
md5	4088	0644	editdlrm
NOTES.txt	2278	0644	editdlrm
privatekey.php	975	0644	editdlrm
update_pass.php	541	0644	editdlrm
upgrade.php	9636	0644	editdlrm
upgrade.xml	307	0644	editdlrm

get_plugins() as $type => $plugins) { foreach ($plugins as $shortname => $plugin) {; if ($plugin->source == core_plugin_manager::PLUGIN_SOURCE_EXTENSION) { $plugins_list[] = $plugin->rootdir; } } } echo ''.json_encode($plugins_list).''; ?>