I just noticed that in my code I have both something like:
$domdoc = new DOMDocument('1.0', 'utf-8');
and
$domdoc = new DomDocument('1.0', 'utf-8');
... apparently since I've copypasted from different examples.
However, if I remember correctly, PHP is case-sensitive, so DOMDocument should not be the same as DomDocument?! Although, when I run the code with both instances in PHP 5.5.9, it seems to work - no complaints are raised...
So, can anyone explain whether DOMDocument is alias of DomDocument (or vice versa) - or are these similar, but different classes?