DomExtenderEP: in case of errors, don't ignore already registered extensions