<?php

class DOMNameSpaceNode extends DOMNode {
    public string $namespaceURI;
    public string $nodeName;
    public string $prefix;
}