1--TEST--
2Bug #79701 (getElementById does not correctly work with duplicate definitions) - unconnected variation
3--EXTENSIONS--
4dom
5--FILE--
6<?php
7$dom = Dom\HTMLDocument::createEmpty();
8$element = $dom->createElement('foo');
9$element->setAttribute('id', 'test');
10var_dump($dom->getElementById('test')?->nodeName);
11$dom->append($element);
12var_dump($dom->getElementById('test')?->nodeName);
13?>
14--EXPECT--
15NULL
16string(3) "FOO"
17