Change Details

See example [[ https://nl.wikipedia.org/w/index.php?title=Gebruiker:Bdijkstra/Kladblok&oldid=50300588 | here ]]. Both "thumbtime" and "Thumbtime" work correctly, but a lint error is flagged for "Thumbtime". Additionally, [[ https://www.mediawiki.org/wiki/Help:Extension:Linter/bogus-image-options | mw:Help:Extension:Linter/bogus-image-options ]] refers to [[ https://www.mediawiki.org/wiki/Help:Images | mw:Help:Images ]] but nothing is mentioned about case-sensitivity.

See example [[ https://nl.wikipedia.org/w/index.php?title=Gebruiker:Bdijkstra/Kladblok&oldid=50300588 | here ]]. Both "thumbtime" and "Thumbtime" work correctly, but a lint error is flagged for "Thumbtime". Additionally, [[ https://www.mediawiki.org/wiki/Help:Extension:Linter/bogus-image-options | mw:Help:Extension:Linter/bogus-image-options ]] refers to [[ https://www.mediawiki.org/wiki/Help:Images | mw:Help:Images ]] but nothing is mentioned there about case-sensitivity.

See example [[ https://nl.wikipedia.org/w/index.php?title=Gebruiker:Bdijkstra/Kladblok&oldid=50300588 | here ]]. Both "thumbtime" and "Thumbtime" work correctly, but a lint error is flagged for "Thumbtime". Additionally, [[ https://www.mediawiki.org/wiki/Help:Extension:Linter/bogus-image-options | mw:Help:Extension:Linter/bogus-image-options ]] refers to [[ https://www.mediawiki.org/wiki/Help:Images | mw:Help:Images ]] but nothing is mentioned there about case-sensitivity.