User::setOption() is soft deprecated and should not be used anymore. It needs to be replaced in the following repositories. User::setOption() should be replaced with UserOptionsManager::setOption().
**WMF deployed**
* [] mediawiki/core
* [x] mediawiki/extensions/Wikibase
* [x] mediawiki/extensions/GrowthExperiments
* [x] mediawiki/extensions/ORES
* [x] mediawiki/extensions/Echo
* [] mediawiki/extensions/TranslationNotifications
* [x] mediawiki/extensions/CirrusSearch
* [x] mediawiki/extensions/GlobalPreferences
* [x] mediawiki/extensions/Translate
* [] mediawiki/extensions/BetaFeatures
* [x] mediawiki/extensions/Flow
* [x] mediawiki/extensions/Popups
* [x] mediawiki/extensions/TwoColConflict
* [] mediawiki/extensions/UniversalLanguageSelector
* [x] mediawiki/extensions/VisualEditor
* [x] mediawiki/extensions/AdvancedSearch
* [x] mediawiki/extensions/CentralAuth
* [x] mediawiki/extensions/EntitySchema
* [x] mediawiki/extensions/FileImporter
* [] mediawiki/extensions/GettingStarted
* [] mediawiki/extensions/LdapAuthentication
* [x] mediawiki/extensions/LoginNotify
* [x] mediawiki/extensions/Math
* [x] mediawiki/extensions/PageTriage
* [x] mediawiki/extensions/Thanks
* [x] mediawiki/extensions/UserMerge
* [] mediawiki/extensions/WikimediaIncubator
* [] mediawiki/extensions/WikimediaMaintenance
* [x] mediawiki/extensions/WikimediaMessages
* [x] mediawiki/skins/Vector
**not WMF deployed**
* [x] mediawiki/extensions/BlueSpiceAvatars
* [] mediawiki/extensions/GoogleAuthenticator
* [] mediawiki/extensions/OpenID
* [x] mediawiki/extensions/ArticleFeedbackv5
* [x] mediawiki/extensions/Auth_remoteuser
* [x] mediawiki/extensions/BlueSpiceFoundation
* [x] mediawiki/extensions/BlueSpiceReadConfirmation
* [] mediawiki/extensions/CategoryTagSorter
* [x] mediawiki/extensions/CollapsibleVector
* [x] mediawiki/extensions/CookieWarning
* [x] mediawiki/extensions/DumpHTML
* [] mediawiki/extensions/InviteSignup
* [] mediawiki/extensions/LanguageSelector
* [x] mediawiki/extensions/LDAPUserInfo
* [x] mediawiki/extensions/MathSearch
* [x] mediawiki/extensions/OnlineStatus
* [x] mediawiki/extensions/SiteSettings
* [x] mediawiki/extensions/SocialProfile
* [x] mediawiki/extensions/StickToThatLanguage
* [x] mediawiki/extensions/WikiLexicalData