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/Slider.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/Slider.xml')
| -rw-r--r-- | doc/classes/Slider.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/classes/Slider.xml b/doc/classes/Slider.xml index 9ef48afffc..03f20b0aab 100644 --- a/doc/classes/Slider.xml +++ b/doc/classes/Slider.xml @@ -1,5 +1,5 @@ <?xml version="1.0" encoding="UTF-8" ?> -<class name="Slider" inherits="Range" version="4.0"> +<class name="Slider" inherits="Range" version="4.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="../class.xsd"> <brief_description> Base class for GUI sliders. </brief_description> |