xml: Add missing types for DocumentType's publicId and systemId (#13343)

This commit is contained in:
João Paulo Taylor Ienczak Zanette
2025-01-13 10:57:16 -03:00
committed by GitHub
parent 88be13d059
commit 1017916da2

View File

@@ -291,8 +291,8 @@ class ReadOnlySequentialNamedNodeMap:
def length(self) -> int: ...
class Identified:
publicId: Incomplete
systemId: Incomplete
publicId: str | None
systemId: str | None
class DocumentType(Identified, Childless, Node):
nodeType: int
@@ -331,7 +331,7 @@ class Notation(Identified, Childless, Node):
class DOMImplementation(DOMImplementationLS):
def hasFeature(self, feature: str, version: str | None) -> bool: ...
def createDocument(self, namespaceURI: str | None, qualifiedName: str | None, doctype: DocumentType | None) -> Document: ...
def createDocumentType(self, qualifiedName: str | None, publicId: str, systemId: str) -> DocumentType: ...
def createDocumentType(self, qualifiedName: str | None, publicId: str | None, systemId: str | None) -> DocumentType: ...
def getInterface(self, feature: str) -> Self | None: ...
class ElementInfo: