Index: trunk/extensions/ParserPlayground/modules/ext.parserPlayground.pegParser.js |
— | — | @@ -65,7 +65,7 @@ |
66 | 66 | }, 'json'); |
67 | 67 | } else { |
68 | 68 | $.ajax({ |
69 | | - url: wgExtensionAssetsPath + '/ParserPlayground/modules/pegParser.pegjs.txt', |
| 69 | + url: mw.config.get('wgParserPlaygroundAssetsPath', mw.config.get('wgExtensionAssetsPath')) + '/ParserPlayground/modules/pegParser.pegjs.txt', |
70 | 70 | success: function(data) { |
71 | 71 | PegParser.src = data; |
72 | 72 | callback(); |