Fix: delete unused files

htdocs/includes/ckeditor/_source/plugins/devtools/lang/en.js

@@ -1,16 +0,0 @@
-/*
-Copyright (c) 2003-2011, CKSource - Frederico Knabben. All rights reserved.
-For licensing, see LICENSE.html or http://ckeditor.com/license
-*/
-
-CKEDITOR.plugins.setLang( 'devtools', 'en',
-{
-	devTools :
-	{
-		title		: 'Element Information',
-		dialogName	: 'Dialog window name',
-		tabName		: 'Tab name',
-		elementId	: 'Element ID',
-		elementType	: 'Element type'
-	}
-});