Elvish_Hunter 4acb95d557 wmllint: don't warn about missing type= in [side] if there's a [leader] tag inside
Fixes a wmllint warning in TSG, which is listed in #4494
2019-11-15 23:32:56 +01:00
..