xmlElement.getIntegerAttribute: Difference between revisions