Merge "Add .pipeline/ with dev image variant"
[lhc/web/wiklou.git] / includes / resourceloader / ResourceLoaderUserOptionsModule.php
2019-09-26 jenkins-botMerge "Add .pipeline/ with dev image variant"
2019-09-26 jenkins-botMerge "Parser: Use 'Special:Badtitle/Parser' instead...
2019-09-23 jenkins-botMerge "Add config for serving main Page from the domain...
2019-09-23 jenkins-botMerge "FauxRequest: don’t override getValues()"
2019-09-20 jenkins-botMerge "HTMLTitleTextField: Remove incorrect check for...
2019-09-20 jenkins-botMerge "Log entries can be rendered with parentheses...
2019-09-19 jenkins-botMerge "title: Improve docs of get*URL()"
2019-09-19 jenkins-botMerge "LogPager: separate getter from query filter"
2019-09-19 jenkins-botMerge "StringUtils: Add a utility for checking if a...
2019-09-18 jenkins-botMerge "objectcache: Escape dots from cache keys in...
2019-09-17 jenkins-botMerge "docs: Ignore extensions/ and skins/ in mwdocgen...
2019-09-17 jenkins-botMerge "docs: Ignore README.md by default"
2019-09-17 jenkins-botMerge "DefaultPreferencesFactory: Remove fallback for...
2019-09-17 jenkins-botMerge "Allow logging arbitrary extra data in MWExceptio...
2019-09-17 jenkins-botMerge "Standardise preview warning box when using ...
2019-09-17 jenkins-botMerge "BaseTemplate: Hard-deprecate msgWiki()"
2019-09-17 jenkins-botMerge "Bump PHP version requirement to 7.2.0+"
2019-09-16 jenkins-botMerge "Title::getTalkPage(): Restore behavior of interw...
2019-09-16 jenkins-botMerge "Add namespace restrictions to `meta=siteinfo...
2019-09-16 jenkins-botMerge "mediawiki.page.ready: Avoid duplicate DOM query...
2019-09-16 jenkins-botMerge "mediawiki.page.ready: Convert to packageFiles...
2019-09-16 jenkins-botMerge "Update old URLs in DefaultSettings related to...
2019-09-15 jenkins-botMerge "resourceloader: Add Doxygen group and improve...
2019-09-15 jenkins-botMerge "Revision: Inject Logger instead of LoggerSpi"
2019-09-14 Timo Tijhofresourceloader: Add Doxygen group and improve overall...
2019-09-14 jenkins-botMerge "filebackend: rename and simplify header sanitizi...
2019-09-13 jenkins-botMerge "docs: Exclude extra markdown files from Doxygen"
2019-09-13 jenkins-botMerge "output: Narrow Title type hint to LinkTarget"
2019-09-12 jenkins-botMerge "Avoid Database::tableName in WikiExporter"
2019-09-12 jenkins-botMerge "Make SpecialBlankPageTest independend from the...
2019-09-11 jenkins-botMerge "Add general messagebox (neutral) styling to...
2019-09-11 jenkins-botMerge "Pass the user and request into BlockManager...
2019-09-11 jenkins-botMerge "SpecialRunJobs: optional output stats and status."
2019-09-11 jenkins-botMerge "Add namespace filter to Special:PagesWithProp"
2019-09-11 jenkins-botMerge "Allow users who are partially blocked to delete...
2019-09-11 jenkins-botMerge "Throw if Redis::SERIALIZER_IGBINARY is not defined"
2019-09-11 jenkins-botMerge "resourceloader: Replace Xml::encodeJsCall by...
2019-09-10 Fomafixresourceloader: Replace Xml::encodeJsCall by encodeJson...
2018-12-19 D3r1ck01Merge "Use MediaWiki\SuppressWarnings around trigger_er...
2018-11-27 jenkins-botMerge "Parse wikitext in gallery caption"
2018-09-13 jenkins-botMerge "Introduce constants for fetchLanguageName(s)"
2018-08-27 jenkins-botMerge "Paranoia, escape image alignment parameters...
2018-08-21 jenkins-botMerge "Skin: Avoid redirect=no for links to non-redirects"
2018-08-21 jenkins-botMerge "Chinese Conversion Table Update 2018-2"
2018-08-01 jenkins-botMerge "SpecialNewPages: Fix omitted Show/Hide redirect...
2018-08-01 jenkins-botMerge "Convert file delete to use OOUI"
2018-08-01 jenkins-botMerge "[MCR] Allow extensions to manipulate service...
2018-07-28 jenkins-botMerge "Guard against uncountable tag values"
2018-07-27 jenkins-botMerge "Correct recent schema changes for MSSQL, Oracle"
2018-07-26 jenkins-botMerge "Upstream EasyDeflate library from VisualEditor"
2018-07-19 jenkins-botMerge "config: Add new ConfigRepository"
2018-07-19 jenkins-botMerge "registration: Expose config array to ExtensionRe...
2018-07-18 jenkins-botMerge "registration: Use the correct key for skin depen...
2018-07-13 jenkins-botMerge "Don't armor french spaces before punctuation...
2018-07-11 jenkins-botMerge "Hide TOC with CSS instead of JavaScript"
2018-07-11 jenkins-botMerge "shell.php: prevent permission error"
2018-07-11 jenkins-botMerge "rdbms: add IDatabase::lockForUpdate() convenienc...
2018-07-11 jenkins-botMerge "Simplify PHP by using ?? and ?:"
2018-07-10 jenkins-botMerge "Use master when fetching revision to base a...
2018-07-10 jenkins-botMerge "RELEASE-NOTES-1.32: Re-wrap to 80 chars again"
2018-07-10 jenkins-botMerge "List deleted revisions in well defined order"
2018-07-10 jenkins-botMerge "[MCR] Make PageArchive aware of MCR"
2018-07-10 jenkins-botMerge "Fix the bug for dates between 1912 and 1941...
2018-07-10 jenkins-botMerge "Language: compare on same object in equals()"
2018-07-09 jenkins-botMerge "Avoid arithmetics on localized number string...
2018-07-09 jenkins-botMerge "Ensure whether user can rollback page in Changes...
2018-07-09 jenkins-botMerge "Allow ResourceLoaderImage modules without data...
2018-07-09 jenkins-botMerge "Tweak 'mediawiki.skinning.elements' documentation"
2018-07-09 jenkins-botMerge "Web installer: Correctly escape U+00A0 NO-BREAK...
2018-07-07 jenkins-botMerge "Avoid deprecated IDatabase::getWikiId() reference"
2018-07-07 UmherirrenderFix PhanTypeMismatchDeclaredParam
2018-05-31 jenkins-botMerge "Add a simple .editorconfig"
2018-03-23 jenkins-botMerge "mediawiki.language: Implement non-digit-grouping...
2018-03-08 jenkins-botMerge "Job::insert: Hard deprecate (soft-deprecated...
2018-03-06 jenkins-botMerge "Change Recent Changes "Number of edits..." prefe...
2018-03-05 jenkins-botMerge "Revert "Log the reason why revision->getContent...
2018-02-22 jenkins-botMerge "Translate some magic words to Czech"
2018-02-19 jenkins-botMerge "Pass change tags to NewRevisionFromEditComplete...
2018-02-15 jenkins-botMerge "tests: Commit initial version of DevelopmentSett...
2018-02-14 jenkins-botMerge "RCFilters: Add missing jQueryMsg dependency"
2018-02-14 jenkins-botMerge "Log the reason why revision->getContent() return...
2018-02-14 jenkins-botMerge "Only try to show character difference if it...
2018-02-13 jenkins-botMerge "Add SPARQL client to core"
2018-02-08 jenkins-botMerge "Fix sessionfailure i18n message during authentic...
2018-02-06 jenkins-botMerge "Fix localization of time in Turkish"
2018-02-06 jenkins-botMerge "[MCR] RevisionStore::getTitle final logged fallb...
2018-02-02 jenkins-botMerge "mediawiki.api.edit: Fix errors"
2018-02-02 jenkins-botMerge "SpecialPage: Hard deprecate getTitle, deprecated...
2018-02-02 jenkins-botMerge "Add tablesUsed to RevisionStoreDbTest"
2018-02-02 jenkins-botMerge "mediawiki.api.category: Avoid exceptions"
2018-02-02 jenkins-botMerge "rdbms: set the schema in the LBFactory local...
2018-02-02 jenkins-botMerge "Warn if stateful ParserOutput transforms are...
2018-02-02 jenkins-botMerge "Added letter Kra (ĸ) to special characters toolbar"
2018-02-01 jenkins-botMerge "Fix jump-to-nav element overlap on RCFilters"
2018-01-31 jenkins-botMerge "Rewrite pref cleanup script"
2018-01-31 jenkins-botMerge "jquery.textSelection: Remove code supporting...
2018-01-31 jenkins-botMerge "jquery.textSelection: Remove final remnants...
2018-01-31 jenkins-botMerge "Move @group and @covers tags in tests close...
2018-01-31 jenkins-botMerge "resourceloader: Add minified version of mw.loade...
2018-01-31 jenkins-botMerge "rdbms: avoid pointless "SHOW SLAVE STATUS" calls...
next