From 3e421c7289ebd8513a94cae9f4c88d1f39f6bad7 Mon Sep 17 00:00:00 2001
From: yflory <yann.flory@xwiki.com>
Date: Thu, 13 Apr 2017 17:09:35 +0200
Subject: [PATCH] Fix lint errors in ckeditor config

---
 customize.dist/ckeditor-config.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/customize.dist/ckeditor-config.js b/customize.dist/ckeditor-config.js
index c1659300c..4c55f67fc 100644
--- a/customize.dist/ckeditor-config.js
+++ b/customize.dist/ckeditor-config.js
@@ -1,4 +1,5 @@
-CKEDITOR.editorConfig = function( config ) { // jshint ignore:line
+/* global CKEDITOR */
+CKEDITOR.editorConfig = function( config ) {
     var fixThings = false;
     // https://dev.ckeditor.com/ticket/10907
     config.needsBrFiller= fixThings;