User::getOption was deprecated in MediaWiki 1.35

InternationalScratchWiki / ScratchWikiSkin2

Skin for the Scratch Wiki.

https://en.scratch-wiki.info

MIT License

17 stars 15 forks source link

User::getOption was deprecated in MediaWiki 1.35 #107

Closed jdlrobson closed 1 year ago

jdlrobson commented 2 years ago

Deprecated: Use of User::getOption was deprecated in MediaWiki 1.35. [Called from SkinScratchWikiSkin::onOutputPageBodyAttributes in /Users/jrobson/git/core/skins/ScratchWikiSkin2/ScratchWikiSkin.skin.php at line 81] in /Users/jrobson/git/core/includes/debug/MWDebug.php on line 381

Example of how this can be fixed here: https://gerrit.wikimedia.org/r/634733