wikimedia/mediawiki-extensions-Cite
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Cite synced 2024-11-27 16:30:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

Minor JS fixes to make conversion to PHP better

Browse source 
Change-Id: Ia36dab7c9a0a59df80c582b18cbc5a0a9bf8a36a
This commit is contained in:
C. Scott Ananian 2019-01-30 18:38:30 -08:00
parent 1855c046ac
commit 11147b88f4
1 changed files with 11 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
lib/ext/Cite/index.js
View file

@ -6,16 +6,18 @@
'use strict';
var domino = require('domino');
const domino = require('domino');
var ParsoidExtApi = module.parent.require('./extapi.js').versionCheck('^0.10.0');
var ContentUtils = ParsoidExtApi.ContentUtils;
var DOMDataUtils = ParsoidExtApi.DOMDataUtils;
var DOMUtils = ParsoidExtApi.DOMUtils;
var TokenUtils = ParsoidExtApi.TokenUtils;
var WTUtils = ParsoidExtApi.WTUtils;
var Promise = ParsoidExtApi.Promise;
var Sanitizer = ParsoidExtApi.Sanitizer;
const ParsoidExtApi = module.parent.require('./extapi.js').versionCheck('^0.10.0');
const {
ContentUtils,
DOMDataUtils,
DOMUtils,
TokenUtils,
WTUtils,
Promise,
Sanitizer,
} = ParsoidExtApi;
/**
* Simple token transform version of the Ref extension tag.