Error while copying from site/wp-includes/js/codemirror/htmlhint.js to site/wp-includes/css/dist/edit-widgets/htmlhint.js

	Name	Size	Modified	Perms	Owner	Actions
	..
	plugin.js	39.08 KB	09/19/2019 1:00 AM	0644	root:www-data
	plugin.min.js	15.48 KB	09/19/2019 1:00 AM	0644	root:www-data
Full Size: 54.56 KB File: 2 Folder: 0

• Select all
• Unselect all
• Invert Selection
• Delete
• Zip
• Tar
• Copy