[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Use original message on history pages

2017-08-19 Thread GeoffreyT2000 (Code Review)
GeoffreyT2000 has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/372775 ) Change subject: Use original message on history pages .. Use original message on history pages The new version of the "moveddeleted-n

[MediaWiki-commits] [Gerrit] pywikibot/core[master]: Add hif.wiktionary to pywikibot

2017-08-19 Thread Jayprakash12345 (Code Review)
Jayprakash12345 has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/372774 ) Change subject: Add hif.wiktionary to pywikibot .. Add hif.wiktionary to pywikibot Bug:T173649 Change-Id: I6f6ec5aea8dc66790656a76

[MediaWiki-commits] [Gerrit] mediawiki...Calendar[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372661 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I562b8eeba7f

[MediaWiki-commits] [Gerrit] mediawiki...CharInsert[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372666 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I86b1e1405e7

[MediaWiki-commits] [Gerrit] mediawiki...BoilerPlate[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372660 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Iceb79e6a25b

[MediaWiki-commits] [Gerrit] mediawiki...Capiunto[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372662 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I2fd53392b70

[MediaWiki-commits] [Gerrit] mediawiki...Citoid[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372670 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I57063935e27

[MediaWiki-commits] [Gerrit] mediawiki...CentralAuth[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372664 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I02fe701cdcb

[MediaWiki-commits] [Gerrit] mediawiki...CiteThisPage[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372669 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ie9845533c08

[MediaWiki-commits] [Gerrit] mediawiki...CentralNotice[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372665 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I87b85149dcb

[MediaWiki-commits] [Gerrit] mediawiki...CodeEditor[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372672 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I3216495396d

[MediaWiki-commits] [Gerrit] mediawiki...Cite[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372668 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I1629e74a301

[MediaWiki-commits] [Gerrit] mediawiki...CirrusSearch[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372667 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I510dd647236

[MediaWiki-commits] [Gerrit] mediawiki...CodeReview[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372674 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ic8d48fc021e

[MediaWiki-commits] [Gerrit] mediawiki...CodeMirror[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372673 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Iacceced4b25

[MediaWiki-commits] [Gerrit] mediawiki...Wikibase[master]: Clean up jsonlint config

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372574 ) Change subject: Clean up jsonlint config .. Clean up jsonlint config Remove non existing .stylelintrc Change-Id: Ied213f2fc477

[MediaWiki-commits] [Gerrit] mediawiki...ElectronPdfService[master]: Clean up jsonlint config

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372575 ) Change subject: Clean up jsonlint config .. Clean up jsonlint config Remove non existing .stylelintrc Change-Id: Ic1dbe2c7cad3

[MediaWiki-commits] [Gerrit] mediawiki...Collection[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372676 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I836d9278f15

[MediaWiki-commits] [Gerrit] mediawiki...CollaborationKit[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372675 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I48fb5eb4180

[MediaWiki-commits] [Gerrit] mediawiki...DismissableSiteNotice[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372680 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I58fcd6742e2

[MediaWiki-commits] [Gerrit] mediawiki...ContributionTracking[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372679 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I45977939769

[MediaWiki-commits] [Gerrit] mediawiki...DonationInterface[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372681 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ia9cd192256b

[MediaWiki-commits] [Gerrit] mediawiki...EducationProgram[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372683 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I993a8ecdf8e

[MediaWiki-commits] [Gerrit] mediawiki...EventLogging[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372684 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ia0221ec51d2

[MediaWiki-commits] [Gerrit] mediawiki...ExtensionDistributor[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372685 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I35ace0ecb29

[MediaWiki-commits] [Gerrit] mediawiki...FlaggedRevs[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372686 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I232542f5584

[MediaWiki-commits] [Gerrit] mediawiki...EditcountAdditions[master]: Initial commit import from ShoutWiki trunk

2017-08-19 Thread Jack Phoenix (Code Review)
Jack Phoenix has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372773 ) Change subject: Initial commit import from ShoutWiki trunk .. Initial commit import from ShoutWiki trunk This extension is usa

[MediaWiki-commits] [Gerrit] mediawiki...GlobalUserPage[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372691 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: If8a1e1950e9

[MediaWiki-commits] [Gerrit] mediawiki...Echo[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372682 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ifb821fcc39f

[MediaWiki-commits] [Gerrit] mediawiki...GettingStarted[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372689 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I0e63157bf83

[MediaWiki-commits] [Gerrit] mediawiki...GWToolset[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372688 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Iaca8b91525d

[MediaWiki-commits] [Gerrit] mediawiki...GlobalPreferences[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372690 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Iee937b37b29

[MediaWiki-commits] [Gerrit] mediawiki...Flow[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372687 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I0b473b62678

[MediaWiki-commits] [Gerrit] mediawiki...Interwiki[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372695 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ie866b9112ee

[MediaWiki-commits] [Gerrit] mediawiki...InputBox[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372694 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I8e963c76fa7

[MediaWiki-commits] [Gerrit] mediawiki...Kartographer[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372697 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I00be7852a8b

[MediaWiki-commits] [Gerrit] mediawiki...GuidedTour[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372693 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Id369616b0de

[MediaWiki-commits] [Gerrit] mediawiki...LiquidThreads[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372698 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ia26389b77fc

[MediaWiki-commits] [Gerrit] mediawiki...Graph[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372692 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I70f8cf9cc69

[MediaWiki-commits] [Gerrit] mediawiki...MassMessage[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372699 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Id1cc2fd8a33

[MediaWiki-commits] [Gerrit] mediawiki...OATHAuth[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372705 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I2ffdd7d96dc

[MediaWiki-commits] [Gerrit] mediawiki...OAuth[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372706 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I8b0c69fc662

[MediaWiki-commits] [Gerrit] mediawiki...MobileApp[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372701 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I1e4f85a98ab

[MediaWiki-commits] [Gerrit] mediawiki...Math[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372700 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I79efadb3c75

[MediaWiki-commits] [Gerrit] mediawiki...ORES[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372707 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Iefdbc7f42e9

[MediaWiki-commits] [Gerrit] mediawiki...JsonConfig[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372696 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Iae47af07d12

[MediaWiki-commits] [Gerrit] mediawiki...MobileFrontend[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372702 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I022de8f8ba5

[MediaWiki-commits] [Gerrit] mediawiki...MultimediaViewer[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372703 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I4a137668bc9

[MediaWiki-commits] [Gerrit] mediawiki...PerformanceInspector[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372711 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I428d0134929

[MediaWiki-commits] [Gerrit] mediawiki...Petition[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372712 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I806b6c0

[MediaWiki-commits] [Gerrit] mediawiki...ParserMigration[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372710 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I0c0a67d75b0

[MediaWiki-commits] [Gerrit] mediawiki...Newsletter[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372704 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I94f3203f638

[MediaWiki-commits] [Gerrit] mediawiki...OpenStackManager[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372708 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: If390ed72f43

[MediaWiki-commits] [Gerrit] mediawiki...PageTriage[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372709 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: If373e1edcef

[MediaWiki-commits] [Gerrit] mediawiki...Popups[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372713 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I352840aa4c4

[MediaWiki-commits] [Gerrit] mediawiki...QuickSurveys[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372717 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I877c1bb4b8f

[MediaWiki-commits] [Gerrit] mediawiki...PronunciationRecording[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372714 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ide990dc1417

[MediaWiki-commits] [Gerrit] mediawiki...ProofreadPage[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372715 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ie7693526c4b

[MediaWiki-commits] [Gerrit] mediawiki...Quiz[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372718 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I001e5135186

[MediaWiki-commits] [Gerrit] mediawiki...ReadingLists[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372719 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I61dcae11f40

[MediaWiki-commits] [Gerrit] mediawiki...ShortUrl[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372724 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I9069f564b62

[MediaWiki-commits] [Gerrit] mediawiki...Score[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372721 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Iec742151ccb

[MediaWiki-commits] [Gerrit] mediawiki...SecurePoll[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372723 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Id130c082174

[MediaWiki-commits] [Gerrit] mediawiki...Scribunto[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372722 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I4b5293769f5

[MediaWiki-commits] [Gerrit] mediawiki...EditcountAdditions[master]: Initial commit import from ShoutWiki trunk

2017-08-19 Thread SamanthaNguyen (Code Review)
SamanthaNguyen has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/372773 ) Change subject: Initial commit import from ShoutWiki trunk .. Initial commit import from ShoutWiki trunk This extension is usable fo

[MediaWiki-commits] [Gerrit] mediawiki...RelatedArticles[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372720 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Idadde6e4d4c

[MediaWiki-commits] [Gerrit] mediawiki...SyntaxHighlight_GeSHi[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372725 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ia7982e756f6

[MediaWiki-commits] [Gerrit] mediawiki...TemplateSandbox[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372727 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ia3790f547b0

[MediaWiki-commits] [Gerrit] mediawiki...TemplateData[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372726 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Idfe75af687c

[MediaWiki-commits] [Gerrit] mediawiki...CentralAuth[master]: Add mark as bot option for move pages

2017-08-19 Thread Melos (Code Review)
Melos has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/372772 ) Change subject: Add mark as bot option for move pages .. Add mark as bot option for move pages Allow renamers to mark entries in recent chang

[MediaWiki-commits] [Gerrit] mediawiki...TocTree[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372729 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Iefecd32fd3c

[MediaWiki-commits] [Gerrit] mediawiki...TimedMediaHandler[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372728 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I283f50894f2

[MediaWiki-commits] [Gerrit] pywikibot...xqbot[master]: [IMPR] Additional information for log page per request

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372770 ) Change subject: [IMPR] Additional information for log page per request .. [IMPR] Additional information for log page per request

[MediaWiki-commits] [Gerrit] mediawiki...UploadWizard[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372732 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Id1527a69f98

[MediaWiki-commits] [Gerrit] mediawiki...UrlShortener[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372733 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I7bc36b940f7

[MediaWiki-commits] [Gerrit] mediawiki...WikiLove[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372737 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I1f9168e56bd

[MediaWiki-commits] [Gerrit] mediawiki...WikibaseQuality[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372739 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I49ec30cf252

[MediaWiki-commits] [Gerrit] mediawiki...WikiEditor[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372736 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ic4139987d84

[MediaWiki-commits] [Gerrit] mediawiki...VipsScaler[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372734 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ib4a91689ff5

[MediaWiki-commits] [Gerrit] mediawiki...WikibaseMediaInfo[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372738 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I3d79c25c15a

[MediaWiki-commits] [Gerrit] mediawiki...WikibaseQualityConstraints[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372740 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Iebf1cf98fab

[MediaWiki-commits] [Gerrit] mediawiki...WikimediaEvents[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372745 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ib16e750fdc0

[MediaWiki-commits] [Gerrit] mediawiki...WikimediaIncubator[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372746 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I1aac403d589

[MediaWiki-commits] [Gerrit] mediawiki...WikibaseQualityExternalValidation[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372741 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ic8866a14ad3

[MediaWiki-commits] [Gerrit] mediawiki...Wikidata.org[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372742 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I7f77a7b1703

[MediaWiki-commits] [Gerrit] mediawiki...WikimediaMessages[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372747 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Idcfb72ec434

[MediaWiki-commits] [Gerrit] mediawiki...WikimediaBadges[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372744 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Icfd088ab0a7

[MediaWiki-commits] [Gerrit] mediawiki...WikidataPageBanner[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372743 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I1d100690ddb

[MediaWiki-commits] [Gerrit] mediawiki...Wikispeech[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372748 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I99dd48f7ad1

[MediaWiki-commits] [Gerrit] mediawiki...ZeroBanner[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372749 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Id8410b92aad

[MediaWiki-commits] [Gerrit] mediawiki...timeline[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372751 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I1db3c224485

[MediaWiki-commits] [Gerrit] mediawiki...wikihiero[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372752 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: Ic2fb2f0990b

[MediaWiki-commits] [Gerrit] mediawiki...ZeroPortal[master]: Use json extension for .stylelintrc

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/372750 ) Change subject: Use json extension for .stylelintrc .. Use json extension for .stylelintrc Bug: T173516 Change-Id: I93f10245fb0

[MediaWiki-commits] [Gerrit] integration/commit-message-validator[master]: Don't include BAD_FOOTERS in FOOTERS

2017-08-19 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/368515 ) Change subject: Don't include BAD_FOOTERS in FOOTERS .. Don't include BAD_FOOTERS in FOOTERS If a key in BAD_FOOTERS is not inc

[MediaWiki-commits] [Gerrit] pywikibot...xqbot[master]: [IMPR] Additional information or log page per request

2017-08-19 Thread Xqt (Code Review)
Xqt has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/372770 ) Change subject: [IMPR] Additional information or log page per request .. [IMPR] Additional information or log page per request - some pep8 - re

[MediaWiki-commits] [Gerrit] mediawiki...Variables[master]: Convert to extension registration

2017-08-19 Thread MGChecker (Code Review)
MGChecker has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/372769 ) Change subject: Convert to extension registration .. Convert to extension registration Converted Extension:Variables to the current versi

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Increase AbuseFilter autodisable thresholds for Meta-Wiki

2017-08-19 Thread MarcoAurelio (Code Review)
MarcoAurelio has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/372768 ) Change subject: Increase AbuseFilter autodisable thresholds for Meta-Wiki .. Increase AbuseFilter autodisable thresholds for Meta-Wiki

[MediaWiki-commits] [Gerrit] mediawiki/core[REL1_27]: Password reset link is shown when no reset options are avail...

2017-08-19 Thread Florianschmidtwelzow (Code Review)
Florianschmidtwelzow has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/372767 ) Change subject: Password reset link is shown when no reset options are available .. Password reset link is shown when no reset

[MediaWiki-commits] [Gerrit] mediawiki/core[master]: Avoid selectDB() call in LoadMonitor new connections

2017-08-19 Thread Aaron Schulz (Code Review)
Aaron Schulz has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/372766 ) Change subject: Avoid selectDB() call in LoadMonitor new connections .. Avoid selectDB() call in LoadMonitor new connections This is n

[MediaWiki-commits] [Gerrit] wikimedia/TransparencyReport[master]: Add `lang` attribute and YAML contents

2017-08-19 Thread VolkerE (Code Review)
VolkerE has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/372765 ) Change subject: Add `lang` attribute and YAML contents .. Add `lang` attribute and YAML contents Bug: T173629 Change-Id: Ia35d5da82a42d9bc7

  1   2   3   >