mirror of
https://github.com/Relintai/pandemonium_engine.git
synced 2024-11-21 16:37:20 +01:00
Backported: Doctool: Remove version attribute from XML header.
Doctool: Remove version attribute from XML header
We don't use that info for anything, and it generates unnecessary diffs
every time we bump the minor version (and CI failures if we forget to
sync some files from opt-in modules (mono, text_server_fb).
- akien-mga
32ddd4f4e0
This commit is contained in:
parent
5b6ee7f500
commit
8a4da4c157
@ -148,7 +148,6 @@
|
||||
<xs:attribute type="xs:string" name="name" />
|
||||
<xs:attribute type="xs:string" name="inherits" />
|
||||
<xs:attribute type="xs:string" name="category" />
|
||||
<xs:attribute type="xs:float" name="version" />
|
||||
</xs:complexType>
|
||||
</xs:element>
|
||||
</xs:schema>
|
||||
|
@ -489,10 +489,6 @@ def main() -> None:
|
||||
continue
|
||||
doc = tree.getroot()
|
||||
|
||||
if "version" not in doc.attrib:
|
||||
print_error(f'{cur_file}: "version" attribute missing from "doc".', state)
|
||||
continue
|
||||
|
||||
name = doc.attrib["name"]
|
||||
if name in classes:
|
||||
print_error(f'{cur_file}: Duplicate class "{name}".', state)
|
||||
|
@ -1119,7 +1119,6 @@ Error DocData::save_classes(const String &p_default_path, const RBMap<String, St
|
||||
if (c.inherits != "") {
|
||||
header += " inherits=\"" + c.inherits + "\"";
|
||||
}
|
||||
header += String(" version=\"") + VERSION_BRANCH + "\"";
|
||||
header += ">";
|
||||
_write_string(f, 0, header);
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user