Error while copying from plugins/option-tree/assets/PluginExtension.php to plugins/maintenance/js/select2/dist/PluginExtension.php

 Name Size Modified Perms Owner Actions
..
Folder is empty
Tiny File Manager 2.4.3