Merge pull request #24204 from totten/5.53-tabsetoptions
authorEileen McNaughton <emcnaughton@wikimedia.org>
Wed, 10 Aug 2022 04:54:23 +0000 (16:54 +1200)
committerGitHub <noreply@github.com>
Wed, 10 Aug 2022 04:54:23 +0000 (16:54 +1200)
CrmUi - Fix tabSetOptions variable


Trivial merge