- npm: Update devDeps
This commit is contained in:
6
editor/external/jamilih/jml-es.js
vendored
6
editor/external/jamilih/jml-es.js
vendored
@@ -966,7 +966,9 @@ var jml = function jml() {
|
||||
procValue = [];
|
||||
for (var p in val) {
|
||||
if (val.hasOwnProperty(p)) {
|
||||
procValue.push(p + '=' + '"' + val[p].replace(/"/g, '\\"') + '"');
|
||||
procValue.push(p + '=' + '"' +
|
||||
// https://www.w3.org/TR/xml-stylesheet/#NT-PseudoAttValue
|
||||
val[p].replace(/"/g, '"') + '"');
|
||||
}
|
||||
}
|
||||
procValue = procValue.join(' ');
|
||||
@@ -1417,7 +1419,7 @@ jml.toJML = function (dom, config) {
|
||||
case 12:
|
||||
// NOTATION
|
||||
start = { $NOTATION: { name: node.nodeName } };
|
||||
addExternalID(start.$NOTATION, node, true);
|
||||
addExternalID(start.$NOTATION, node);
|
||||
set$$1(start);
|
||||
break;
|
||||
default:
|
||||
|
||||
Reference in New Issue
Block a user