From 47ac61a519355f400820871e6dd51705180353ea Mon Sep 17 00:00:00 2001
From: yann300 <yann.levreau@gmail.com>
Date: Wed, 20 Feb 2019 16:21:01 +0100
Subject: [PATCH] Update SourceHighlighters.js

---
 src/app/editor/SourceHighlighters.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/app/editor/SourceHighlighters.js b/src/app/editor/SourceHighlighters.js
index 92f2ee6649..9879f28f58 100644
--- a/src/app/editor/SourceHighlighters.js
+++ b/src/app/editor/SourceHighlighters.js
@@ -9,7 +9,8 @@ class SourceHighlighters {
 
   profile () {
     return {
-      name: 'source highlighters',
+      displayName: 'source highlighters',
+      name: 'sourceHighlighters',
       methods: ['highlight', 'discardHighlight'],
       description: 'service - highlight source code'
     }