remove arrow function

2019-08-28 10:55:07 +02:00 · 2019-08-28 10:55:07 +02:00 · 09e24ce238
parent 0d0cf17121
commit 09e24ce238
1 changed files with 6 additions and 4 deletions
--- a/src/js/util.js
+++ b/src/js/util.js
@ -1163,10 +1163,12 @@ exports.getPositionForPath = function(text, paths) {
 */
 exports.compileJSONPointer = function (path) {
  return path
-      .map(p => ('/' + String(p)
-          .replace(/~/g, '~0')
-          .replace(/\//g, '~1')
-      ))
+      .map(function (p) {
+        return ('/' + String(p)
+                .replace(/~/g, '~0')
+                .replace(/\//g, '~1')
+        );
+      })
      .join('');
 };