diff options
author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-02-14 14:18:53 +0100 |
---|---|---|
committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-02-15 00:03:31 +0100 |
commit | b68dd2e1894450dd69ffddf05a45c40e6c01a36a (patch) | |
tree | a08d5005f4b46dfa2fe9180250541eb6851ee905 /doc/classes/EditorFileSystem.xml | |
parent | 6e73aa0497b9cfc1c28863e655991106e677e69c (diff) |
Add an XML schema for documentation
This makes it easier to spot syntax errors when editing the
class reference. The schema is referenced locally so validation
can still work offline.
Each class XML's schema conformance is also checked on GitHub Actions.
Diffstat (limited to 'doc/classes/EditorFileSystem.xml')
-rw-r--r-- | doc/classes/EditorFileSystem.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/classes/EditorFileSystem.xml b/doc/classes/EditorFileSystem.xml index 859480078b..300cb4bfd6 100644 --- a/doc/classes/EditorFileSystem.xml +++ b/doc/classes/EditorFileSystem.xml @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="UTF-8" ?> -<class name="EditorFileSystem" inherits="Node" version="4.0"> +<class name="EditorFileSystem" inherits="Node" version="4.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../class.xsd"> <brief_description> Resource filesystem, as the editor sees it. </brief_description> |