Daniel Gultsch 9e7bbcc272 offer alternative access to elements and children ... instead of Element.findChild(name, namespace) we can now use Element.getExtension(Extension.class) for registered extensions		2023-03-01 22:05:36 +01:00
..
1.json	offer alternative access to elements and children	2023-03-01 22:05:36 +01:00