/usr/share/seed-gtk3/extensions/xml.js is in libseed-gtk3-0 3.8.1-1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | xml = imports.libxml;
xml._nodeProto.getElementsByTagName = function(name){
ret = [];
child = this.children;
while (child){
if (child.name == name)
ret.push (child);
child = child.next;
}
return ret;
}
xml._nodeProto.getAttribute = function(name){
properties = this.properties;
while (properties){
if (properties.name == name)
return properties.children.content;
properties = properties.next
}
return null;
}
|