Page MenuHomePhabricator

Use json file extension for the stylelint config file
Closed, ResolvedPublic

Description

We should use the json file extension for the stylelint config file.

Most configuration files used have a file extension that gives a hint on the type and structure of the content. This is also true for almost all linter config files in use. For the .stylelintrc this was not done, because until some more recent version of stylelint the file would not be recognized with .json extension. Now this seems fixed and I suggest changing the filename to use a file extension.

Furthermore, as stated on [1] the stylelint config can be in JSON, YAML or JS. As far as I know we use for Mediawiki projects only the JSON variant. With the file extension it is clear what format is used right away.

[1] https://stylelint.io/user-guide/configuration/#loading-the-configuration-object

Details

Related Gerrit Patches:
mediawiki/extensions/MissedPages : masterUse json extension for .stylelintrc
mediawiki/extensions/DismissableSiteNotice : masterUse json extension for .stylelintrc
mediawiki/extensions/CookieWarning : masterUse json extension for .stylelintrc
mediawiki/extensions/CleanChanges : masterUse json extension for .stylelintrc
mediawiki/extensions/Wikisource : masterUse json extension for .stylelintrc
mediawiki/extensions/VisualEditor : masterUpdate VE core submodule to master (6111ca575)
VisualEditor/VisualEditor : masterUse json extension for .stylelintrc
mediawiki/extensions/Echo : masterUse json extension for .stylelintrc
mediawiki/extensions/MultimediaViewer : masterUse json extension for .stylelintrc
mediawiki/extensions/CollaborationKit : masterUse json extension for .stylelintrc
mediawiki/extensions/EventLogging : masterUse json extension for .stylelintrc
mediawiki/extensions/Flow : masterUse json extension for .stylelintrc
mediawiki/extensions/Kartographer : masterUse json extension for .stylelintrc
mediawiki/extensions/GuidedTour : masterUse json extension for .stylelintrc
mediawiki/extensions/MobileFrontend : masterUse json extension for .stylelintrc
mediawiki/extensions/QuickSurveys : masterUse json extension for .stylelintrc
mediawiki/extensions/TemplateData : masterUse json extension for .stylelintrc
mediawiki/extensions/BoilerPlate : masterUse json extension for .stylelintrc
mediawiki/extensions/Calendar : masterUse json extension for .stylelintrc
mediawiki/extensions/CharInsert : masterUse json extension for .stylelintrc
mediawiki/extensions/Capiunto : masterUse json extension for .stylelintrc
mediawiki/extensions/CentralAuth : masterUse json extension for .stylelintrc
mediawiki/extensions/CentralNotice : masterUse json extension for .stylelintrc
mediawiki/extensions/CiteThisPage : masterUse json extension for .stylelintrc
mediawiki/extensions/Citoid : masterUse json extension for .stylelintrc
mediawiki/extensions/CodeEditor : masterUse json extension for .stylelintrc
mediawiki/extensions/Cite : masterUse json extension for .stylelintrc
mediawiki/extensions/CodeMirror : masterUse json extension for .stylelintrc
mediawiki/extensions/CodeReview : masterUse json extension for .stylelintrc
mediawiki/extensions/CirrusSearch : masterUse json extension for .stylelintrc
mediawiki/extensions/Collection : masterUse json extension for .stylelintrc
mediawiki/extensions/ContributionTracking : masterUse json extension for .stylelintrc
mediawiki/extensions/DismissableSiteNotice : masterUse json extension for .stylelintrc
mediawiki/extensions/DonationInterface : masterUse json extension for .stylelintrc
mediawiki/extensions/EducationProgram : masterUse json extension for .stylelintrc
mediawiki/extensions/ExtensionDistributor : masterUse json extension for .stylelintrc
mediawiki/extensions/FlaggedRevs : masterUse json extension for .stylelintrc
mediawiki/extensions/GettingStarted : masterUse json extension for .stylelintrc
mediawiki/extensions/GlobalPreferences : masterUse json extension for .stylelintrc
mediawiki/extensions/GlobalUserPage : masterUse json extension for .stylelintrc
mediawiki/extensions/GWToolset : masterUse json extension for .stylelintrc
mediawiki/extensions/Graph : masterUse json extension for .stylelintrc
mediawiki/extensions/InputBox : masterUse json extension for .stylelintrc
mediawiki/extensions/Interwiki : masterUse json extension for .stylelintrc
mediawiki/extensions/LiquidThreads : masterUse json extension for .stylelintrc
mediawiki/extensions/MassMessage : masterUse json extension for .stylelintrc
mediawiki/extensions/JsonConfig : masterUse json extension for .stylelintrc
mediawiki/extensions/MobileApp : masterUse json extension for .stylelintrc
mediawiki/extensions/Math : masterUse json extension for .stylelintrc
mediawiki/extensions/OATHAuth : masterUse json extension for .stylelintrc
mediawiki/extensions/OAuth : masterUse json extension for .stylelintrc
mediawiki/extensions/ORES : masterUse json extension for .stylelintrc
mediawiki/extensions/ParserMigration : masterUse json extension for .stylelintrc
mediawiki/extensions/OpenStackManager : masterUse json extension for .stylelintrc
mediawiki/extensions/PageTriage : masterUse json extension for .stylelintrc
mediawiki/extensions/Newsletter : masterUse json extension for .stylelintrc
mediawiki/extensions/PerformanceInspector : masterUse json extension for .stylelintrc
mediawiki/extensions/Petition : masterUse json extension for .stylelintrc
mediawiki/extensions/Popups : masterUse json extension for .stylelintrc
mediawiki/extensions/PronunciationRecording : masterUse json extension for .stylelintrc
mediawiki/extensions/ProofreadPage : masterUse json extension for .stylelintrc
mediawiki/extensions/Quiz : masterUse json extension for .stylelintrc
mediawiki/extensions/ReadingLists : masterUse json extension for .stylelintrc
mediawiki/extensions/Score : masterUse json extension for .stylelintrc
mediawiki/extensions/SecurePoll : masterUse json extension for .stylelintrc
mediawiki/extensions/ShortUrl : masterUse json extension for .stylelintrc
mediawiki/extensions/RelatedArticles : masterUse json extension for .stylelintrc
mediawiki/extensions/Scribunto : masterUse json extension for .stylelintrc
mediawiki/extensions/SyntaxHighlight_GeSHi : masterUse json extension for .stylelintrc
mediawiki/extensions/TemplateSandbox : masterUse json extension for .stylelintrc
mediawiki/extensions/TocTree : masterUse json extension for .stylelintrc
mediawiki/extensions/TimedMediaHandler : masterUse json extension for .stylelintrc
mediawiki/extensions/UploadWizard : masterUse json extension for .stylelintrc
mediawiki/extensions/UrlShortener : masterUse json extension for .stylelintrc
mediawiki/extensions/VipsScaler : masterUse json extension for .stylelintrc
mediawiki/extensions/WikiEditor : masterUse json extension for .stylelintrc
mediawiki/extensions/WikiLove : masterUse json extension for .stylelintrc
mediawiki/extensions/WikibaseQuality : masterUse json extension for .stylelintrc
mediawiki/extensions/WikibaseMediaInfo : masterUse json extension for .stylelintrc
mediawiki/extensions/WikibaseQualityConstraints : masterUse json extension for .stylelintrc
mediawiki/extensions/WikimediaEvents : masterUse json extension for .stylelintrc
mediawiki/extensions/WikimediaIncubator : masterUse json extension for .stylelintrc
mediawiki/extensions/WikibaseQualityExternalValidation : masterUse json extension for .stylelintrc
mediawiki/extensions/WikimediaMessages : masterUse json extension for .stylelintrc
mediawiki/extensions/Wikidata.org : masterUse json extension for .stylelintrc
mediawiki/extensions/Wikispeech : masterUse json extension for .stylelintrc
mediawiki/extensions/WikidataPageBanner : masterUse json extension for .stylelintrc
mediawiki/extensions/WikimediaBadges : masterUse json extension for .stylelintrc
mediawiki/extensions/timeline : masterUse json extension for .stylelintrc
mediawiki/extensions/wikihiero : masterUse json extension for .stylelintrc
mediawiki/extensions/ZeroBanner : masterUse json extension for .stylelintrc
mediawiki/extensions/ZeroPortal : masterUse json extension for .stylelintrc
mediawiki/extensions/ConfirmEdit : masterUse json extension for .stylelintrc
mediawiki/extensions/Translate : masterUse json extension for .stylelintrc
mediawiki/extensions/UniversalLanguageSelector : masterUse json extension for .stylelintrc
mediawiki/extensions/ContentTranslation : masterUse json extension for .stylelintrc
mediawiki/extensions/CategoryTree : masterUse json extension for .stylelintrc
mediawiki/extensions/CleanChanges : masterUse json extension for .stylelintrc
mediawiki/skins/MinervaNeue : masterUse json extension for .stylelintrc
mediawiki/extensions/AbuseFilter : masterUse json extension for .styleintrc
mediawiki/extensions/BetaFeatures : masterUse json extension for .stylelintrc
mediawiki/skins/CologneBlue : masterUse json extension for .stylelintrc
mediawiki/skins/Modern : masterUse json extension for .stylelintrc
mediawiki/skins/Nostalgia : masterUse json extension for .stylelintrc
mediawiki/skins/Timeless : masterUse json extension for .stylelintrc
mediawiki/skins/MonoBook : masterUse json extension for .stylelintrc
mediawiki/extensions/Babel : masterUse json extension for .stylelintrc
mediawiki/extensions/ApiFeatureUsage : masterUse json extension for .stylelintrc
mediawiki/extensions/ArticlePlaceholder : masterUse json extension for .stylelintrc
mediawiki/extensions/3D : masterUse json extension for .stylelintrc
mediawiki/extensions/AbuseFilter : masterUse json extension for .stylelintrc
mediawiki/skins/Vector : masterUse json extension for .stylelintrc
mediawiki/skins/apex : masterUse json extension for .stylelintrc
mediawiki/core : masterUse json extension for .stylelintrc
mediawiki/extensions/TwoColConflict : masterUse json extension for .stylelintrc
mediawiki/extensions/ElectronPdfService : masterUse json extension for .stylelintrc
mediawiki/extensions/Wikibase : masterUse json extension for .stylelintrc
mediawiki/extensions/AdvancedSearch : masterUse json extension for .stylelintrc
mediawiki/extensions/FileImporter : masterUse json extension for .stylelintrc

Related Objects

Mentioned In
rECW05b2a68a46ae: Use json extension for .stylelintrc
rEWSO5c8b23569caf: Use json extension for .stylelintrc
T146454: WikispeechNamespaces can't contain namspaces that aren't defined as constants
T164251: Use API action to preprocess text
T172094: npm 3 requires peer dependencies to be explicitly defined in package.json
rEWBI5ebf1a588016: Use json extension for .stylelintrc
rEWISd84db16ee0a3: Use json extension for .stylelintrc
rEQS6eb50b0e6a39: Use json extension for .stylelintrc
rERLS15b549bad2bd: Use json extension for .stylelintrc
rEBOP3dec3fd286cc: Use json extension for .stylelintrc
rECKT81afde3c685b: Use json extension for .stylelintrc
rETHR0b941f3cce61: Use json extension for .stylelintrc
rESCC048ee8484c1a: Use json extension for .stylelintrc
rEEPSd6295fe0f3d5: Use json extension for .stylelintrc
rEASRc9a1dc8a2a40: Use json extension for .stylelintrc
Mentioned Here
rEWIScdedb07aaf64: build: Updating mediawiki/mediawiki-codesniffer to 0.10.1
rEWIS2791dad9ce7f: build: bump grunt and drop grunt-cli
rEWISa7e5eafd7d46: build: Updating mediawiki/mediawiki-codesniffer to 0.11.0
rEWIS03ca98666d0f: build: Updating jakub-onderka/php-parallel-lint to 0.9.2
rEWISd84db16ee0a3: Use json extension for .stylelintrc
rEWIS7cfd1ca70f97: Use API to retrieve utterances
T146454: WikispeechNamespaces can't contain namspaces that aren't defined as constants
T164251: Use API action to preprocess text
T172094: npm 3 requires peer dependencies to be explicitly defined in package.json
rGVED6111ca575375: Use json extension for .stylelintrc

Event Timeline

There are a very large number of changes, so older changes are hidden. Show Older Changes

Change 372739 merged by jenkins-bot:
[mediawiki/extensions/WikibaseQuality@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372739

Change 372737 merged by jenkins-bot:
[mediawiki/extensions/WikiLove@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372737

Change 372736 merged by jenkins-bot:
[mediawiki/extensions/WikiEditor@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372736

Change 372734 merged by jenkins-bot:
[mediawiki/extensions/VipsScaler@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372734

Change 372733 merged by jenkins-bot:
[mediawiki/extensions/UrlShortener@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372733

Change 372732 merged by jenkins-bot:
[mediawiki/extensions/UploadWizard@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372732

Change 372728 merged by jenkins-bot:
[mediawiki/extensions/TimedMediaHandler@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372728

Change 372729 merged by jenkins-bot:
[mediawiki/extensions/TocTree@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372729

Change 372726 merged by jenkins-bot:
[mediawiki/extensions/TemplateData@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372726

Change 372727 merged by jenkins-bot:
[mediawiki/extensions/TemplateSandbox@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372727

Change 372725 merged by jenkins-bot:
[mediawiki/extensions/SyntaxHighlight_GeSHi@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372725

Change 372722 merged by jenkins-bot:
[mediawiki/extensions/Scribunto@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372722

Change 372720 merged by jenkins-bot:
[mediawiki/extensions/RelatedArticles@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372720

Change 372724 merged by jenkins-bot:
[mediawiki/extensions/ShortUrl@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372724

Change 372723 merged by jenkins-bot:
[mediawiki/extensions/SecurePoll@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372723

Change 372721 merged by jenkins-bot:
[mediawiki/extensions/Score@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372721

Change 372719 merged by jenkins-bot:
[mediawiki/extensions/ReadingLists@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372719

Change 372717 merged by jenkins-bot:
[mediawiki/extensions/QuickSurveys@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372717

Change 372718 merged by jenkins-bot:
[mediawiki/extensions/Quiz@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372718

Change 372715 merged by jenkins-bot:
[mediawiki/extensions/ProofreadPage@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372715

Change 372714 merged by jenkins-bot:
[mediawiki/extensions/PronunciationRecording@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372714

Change 372713 merged by jenkins-bot:
[mediawiki/extensions/Popups@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372713

Change 372712 merged by jenkins-bot:
[mediawiki/extensions/Petition@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372712

Change 372711 merged by jenkins-bot:
[mediawiki/extensions/PerformanceInspector@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372711

Change 372704 merged by jenkins-bot:
[mediawiki/extensions/Newsletter@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372704

Change 372709 merged by jenkins-bot:
[mediawiki/extensions/PageTriage@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372709

Change 372710 merged by jenkins-bot:
[mediawiki/extensions/ParserMigration@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372710

Change 372708 merged by jenkins-bot:
[mediawiki/extensions/OpenStackManager@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372708

Change 372703 merged by jenkins-bot:
[mediawiki/extensions/MultimediaViewer@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372703

Change 372702 merged by jenkins-bot:
[mediawiki/extensions/MobileFrontend@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372702

Change 372707 merged by jenkins-bot:
[mediawiki/extensions/ORES@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372707

Change 372706 merged by jenkins-bot:
[mediawiki/extensions/OAuth@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372706

Change 372705 merged by jenkins-bot:
[mediawiki/extensions/OATHAuth@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372705

Change 372700 merged by jenkins-bot:
[mediawiki/extensions/Math@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372700

Change 372701 merged by jenkins-bot:
[mediawiki/extensions/MobileApp@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372701

Change 372696 merged by jenkins-bot:
[mediawiki/extensions/JsonConfig@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372696

Change 372699 merged by jenkins-bot:
[mediawiki/extensions/MassMessage@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372699

Change 372698 merged by jenkins-bot:
[mediawiki/extensions/LiquidThreads@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372698

Change 372693 merged by jenkins-bot:
[mediawiki/extensions/GuidedTour@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372693

Change 372697 merged by jenkins-bot:
[mediawiki/extensions/Kartographer@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372697

Change 372695 merged by jenkins-bot:
[mediawiki/extensions/Interwiki@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372695

Change 372694 merged by jenkins-bot:
[mediawiki/extensions/InputBox@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372694

Change 372692 merged by jenkins-bot:
[mediawiki/extensions/Graph@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372692

Change 372687 merged by jenkins-bot:
[mediawiki/extensions/Flow@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372687

Change 372682 merged by jenkins-bot:
[mediawiki/extensions/Echo@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372682

Change 372688 merged by jenkins-bot:
[mediawiki/extensions/GWToolset@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372688

Change 372691 merged by jenkins-bot:
[mediawiki/extensions/GlobalUserPage@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372691

Change 372690 merged by jenkins-bot:
[mediawiki/extensions/GlobalPreferences@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372690

Change 372689 merged by jenkins-bot:
[mediawiki/extensions/GettingStarted@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372689

Change 372684 merged by jenkins-bot:
[mediawiki/extensions/EventLogging@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372684

Change 372686 merged by jenkins-bot:
[mediawiki/extensions/FlaggedRevs@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372686

Change 372685 merged by jenkins-bot:
[mediawiki/extensions/ExtensionDistributor@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372685

Change 372683 merged by jenkins-bot:
[mediawiki/extensions/EducationProgram@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372683

Change 372681 merged by jenkins-bot:
[mediawiki/extensions/DonationInterface@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372681

Change 372680 merged by jenkins-bot:
[mediawiki/extensions/DismissableSiteNotice@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372680

Change 372679 merged by jenkins-bot:
[mediawiki/extensions/ContributionTracking@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372679

Change 372675 merged by jenkins-bot:
[mediawiki/extensions/CollaborationKit@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372675

Change 372676 merged by jenkins-bot:
[mediawiki/extensions/Collection@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372676

Change 372667 merged by jenkins-bot:
[mediawiki/extensions/CirrusSearch@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372667

Change 372674 merged by jenkins-bot:
[mediawiki/extensions/CodeReview@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372674

Change 372673 merged by jenkins-bot:
[mediawiki/extensions/CodeMirror@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372673

Change 372668 merged by jenkins-bot:
[mediawiki/extensions/Cite@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372668

Change 372672 merged by jenkins-bot:
[mediawiki/extensions/CodeEditor@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372672

Change 372670 merged by jenkins-bot:
[mediawiki/extensions/Citoid@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372670

Change 372669 merged by jenkins-bot:
[mediawiki/extensions/CiteThisPage@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372669

Change 372665 merged by jenkins-bot:
[mediawiki/extensions/CentralNotice@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372665

Change 372664 merged by jenkins-bot:
[mediawiki/extensions/CentralAuth@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372664

Change 372662 merged by jenkins-bot:
[mediawiki/extensions/Capiunto@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372662

Change 372666 merged by jenkins-bot:
[mediawiki/extensions/CharInsert@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372666

Change 372661 merged by jenkins-bot:
[mediawiki/extensions/Calendar@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372661

Change 372660 merged by jenkins-bot:
[mediawiki/extensions/BoilerPlate@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372660

For the .stylelintrc this was not done, because until some more recent version of stylelint the file would not be recognized with .json extension.

This is not true. We (I) chose not to do it to follow the practice recommended by Stylelint's documentation – at the time it already worked with .stylelintrc.json file names, I believe.

Change 372753 merged by jenkins-bot:
[VisualEditor/VisualEditor@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/372753

Change 372735 merged by jenkins-bot:
[mediawiki/extensions/VisualEditor@master] Update VE core submodule to master (6111ca575)

https://gerrit.wikimedia.org/r/372735

Umherirrender closed this task as Resolved.Aug 23 2017, 5:15 PM
Umherirrender claimed this task.

All should be done now

Stashbot added a subscriber: Stashbot.

Mentioned in SAL (#wikimedia-cloud) [2017-08-25T09:59:28Z] <Sebastian-WMSE> Deploy latest from Git master: cdedb07, 827fbb2 (T172094), 827fbb2, 2791dad, a7e5eaf, 03ca986, d84db16 (T173516), 7cfd1ca (T164251, T146454)

Change 392096 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[mediawiki/extensions/Wikisource@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/392096

Change 392096 merged by jenkins-bot:
[mediawiki/extensions/Wikisource@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/392096

Change 478249 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[mediawiki/extensions/CleanChanges@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/478249

Change 478250 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[mediawiki/extensions/CookieWarning@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/478250

Change 478251 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[mediawiki/extensions/DismissableSiteNotice@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/478251

Change 478249 merged by jenkins-bot:
[mediawiki/extensions/CleanChanges@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/478249

Change 478250 merged by jenkins-bot:
[mediawiki/extensions/CookieWarning@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/478250

Change 478251 merged by jenkins-bot:
[mediawiki/extensions/DismissableSiteNotice@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/478251

Change 485226 had a related patch set uploaded (by Umherirrender; owner: Umherirrender):
[mediawiki/extensions/MissedPages@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/485226

Change 485226 merged by jenkins-bot:
[mediawiki/extensions/MissedPages@master] Use json extension for .stylelintrc

https://gerrit.wikimedia.org/r/485226