Merge "Add missing return types to User::getOption()"
[lhc/web/wiklou.git] / .stylelintrc.json
2018-02-19 jenkins-botMerge "Pass change tags to NewRevisionFromEditComplete...
2018-02-14 jenkins-botMerge "Only try to show character difference if it...
2018-02-06 jenkins-botMerge "Fix localization of time in Turkish"
2018-01-31 jenkins-botMerge "Rewrite pref cleanup script"
2018-01-23 jenkins-botMerge "Add a hook into LanguageConverter#getPreferredVa...
2017-12-14 jenkins-botMerge "Add dropSequence to postgres"
2017-12-09 jenkins-botMerge "Chinese Conversion Table Update 2017-5"
2017-11-28 jenkins-botMerge "Add WebAssembly application/wasm MIME type"
2017-11-15 jenkins-botMerge "Revert "RCFilters: Remove excluded params from...
2017-11-15 jenkins-botMerge "Treat langtags in SVG switch case-insensitively"
2017-11-14 jenkins-botMerge "Special:Preferences: Use OOjs UI"
2017-11-13 jenkins-botMerge "Change the rfcurl from protocol relative to...
2017-11-09 jenkins-botMerge "RCFilters: Don't reload the list if the change...
2017-11-07 jenkins-botMerge "RCFilters: Remove excluded params from URL"
2017-11-04 jenkins-botMerge "Align PNG fallbacks to WikimediaUI color palette"
2017-11-04 jenkins-botMerge "Optimize SVGs and align colors to WikimediaUI...
2017-11-02 jenkins-botMerge "Add attributes parameter to ShowSearchHitTitle"
2017-11-01 jenkins-botMerge "RCFilters: Move label prefixes from dm.ItemModel...
2017-11-01 jenkins-botMerge "RCFilters: HTML-escape tag names in filter capsules"
2017-11-01 jenkins-botMerge "Add statsd metric support to WANObjectCache"
2017-11-01 jenkins-botMerge "resources: Remove the deprecated 'jquery.badge...
2017-10-31 jenkins-botMerge "EditPage: Extract some edit conflict code into...
2017-10-31 jenkins-botMerge "Prefer using plaintextParams instead of rawParam...
2017-10-30 jenkins-botMerge "build: Bump eslint devDependencies to latest"
2017-10-27 jenkins-botMerge "rdbms: Group disconnect/reconnect errors by...
2017-10-27 jenkins-botMerge "build: Update stylelint"
2017-10-27 Ed Sandersbuild: Update stylelint
2017-10-24 jenkins-botMerge "registration: Only allow one extension to set...
2017-10-21 jenkins-botMerge "Use LogFormatter::getLinkRenderer in LogFormatte...
2017-09-22 jenkins-botMerge "Improve "selfmove" message's wording"
2017-09-15 jenkins-botMerge "Fix a few minor mistakes in PHPDoc tags"
2017-09-15 jenkins-botMerge "Fix $wgUpdateRowsPerJob default in docs/deferred...
2017-09-11 jenkins-botMerge "Show a warning in edit preview when a template...
2017-09-10 jenkins-botMerge "HTMLForm: Implement OOUI version of HTMLTagFilter"
2017-09-06 jenkins-botMerge "Align "What's this" vertically"
2017-09-01 jenkins-botMerge "Revert "Fix link prefix/suffixes around Category...
2017-08-31 jenkins-botMerge "Move section ID fallbacks into headers themselves"
2017-08-29 jenkins-botMerge "Get better error message for duplicate names...
2017-08-28 jenkins-botMerge "Making sister search sidebar links blue"
2017-08-28 jenkins-botMerge "Produce RDF dump of all categories and subcatego...
2017-08-23 jenkins-botMerge "Unit tests for CollationFa (0bfcbd724)"
2017-08-23 jenkins-botMerge "mediawiki.skinning: Vertical alignment for tradi...
2017-08-23 jenkins-botMerge "MediawikiUI: Introduce mw-ui-icon-large"
2017-08-22 jenkins-botMerge "Revert "registration: Only allow one extension...
2017-08-22 jenkins-botMerge "registration: Only allow one extension to set...
2017-08-22 jenkins-botMerge "Fix link prefix/suffixes around Category and...
2017-08-22 jenkins-botMerge "Soft deprecation of DatabaseMysql"
2017-08-22 jenkins-botMerge "jquery.migrate: Instrument with mw.track()"
2017-08-21 jenkins-botMerge "Don't hard-code Preferences page name"
2017-08-21 jenkins-botMerge "Update jQuery Migrate to v3.0.1-pre (9e3dfcb)"
2017-08-21 jenkins-botMerge "Change 'editfont' default preference to 'monospace'"
2017-08-21 jenkins-botMerge "SpecialNewpages: add $attribs['class'] immediate...
2017-08-18 jenkins-botMerge "WLFilters: new 'watchlist activity' filter group"
2017-08-18 jenkins-botMerge "WLFilters: convert mark as seen button to new...
2017-08-18 jenkins-botMerge "Enable RCFilters app on Watchlist"
2017-08-18 jenkins-botMerge "Remove deprecated jquery.mwExtension module"
2017-08-18 jenkins-botMerge "Use json extension for .stylelintrc"
2017-08-17 WMDE-FischUse json extension for .stylelintrc