Commit 2024-06-30 14:36 b03e60c2
View on Github →fix: setOption linter also recognises a bare profiler
option (#14006)
Fix a missing edge case in the linter, when an option name
had only one component (as in the profiler option), and add a test.
At the same time, rewrite the linter to use the name
API (much nicer!), and perform two small clean-ups to the test file.