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/Thread.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/Thread.xml')
-rw-r--r-- | doc/classes/Thread.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/classes/Thread.xml b/doc/classes/Thread.xml index bd9a6c865a..d78b8db052 100644 --- a/doc/classes/Thread.xml +++ b/doc/classes/Thread.xml @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="UTF-8" ?> -<class name="Thread" inherits="RefCounted" version="4.0"> +<class name="Thread" inherits="RefCounted" version="4.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../class.xsd"> <brief_description> A unit of execution in a process. </brief_description> |