Switch to MediaWiki coding style, use OpenAPI attributes#597
Merged
MusikAnimal merged 1 commit intomainfrom Jan 3, 2026
Merged
Switch to MediaWiki coding style, use OpenAPI attributes#597MusikAnimal merged 1 commit intomainfrom
MusikAnimal merged 1 commit intomainfrom
