wikimedia/mediawiki-extensions-Scribunto
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto synced 2024-11-28 02:00:01 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Scribunto/includes
History
vladshapik 7ee79747e8 Avoid using User::getDefaultOption 
Remove using of User::getDefaultOption since this method will be hard-deprecated. Now it is soft-deprecated

Bug: T276035
Change-Id: I34a9ece7ee25c8fa85849c9dc8d6634cde53cfe5
2021-03-01 13:19:04 +02:00
..
common Remove wrong return type from ScribuntoEngineBase::reportLimitData 2021-02-03 22:10:20 +01:00
engines Avoid using User::getDefaultOption 2021-03-01 13:19:04 +02:00