Add manifest to HTMLDOMPropertyConfig

#1414