wikimedia/mediawiki-extensions-CodeMirror
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror synced 2024-11-23 22:03:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-CodeMi.../includes
History
vladshapik 60b14d1aa0 Avoid using User::getOption() method 
Replace User::getOption() with UserOptionsLookup::getOption() since this method will be hard-deprecated.

Bug: T296083
Change-Id: I405251092fd94fa70a33319d313c5140c8cebc21
2021-11-30 09:12:09 +00:00
..
CodeMirrorHooks.php Avoid using User::getOption() method 2021-11-30 09:12:09 +00:00
ResourceLoaderCodeMirrorModule.php Use new Parser accessors 2018-08-13 22:56:03 -07:00