wikimedia/mediawiki-extensions-MultimediaViewer
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/MultimediaViewer synced 2024-12-03 12:16:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Multim.../includes
History
vladshapik 5dfaa7f653 Avoid using User::getDefaultOptions 
Remove using of User::getDefaultOptions since this method will be hard-deprecated. Now it is soft-deprecated

Bug: T276035
Change-Id: If2647bf24969a277a795e46b620cc81937c147c2
2021-03-01 11:42:55 +02:00
..
MultimediaViewerHooks.php Avoid using User::getDefaultOptions 2021-03-01 11:42:55 +02:00