date:20170819

[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-notice" message in 
I5acf1bee9cea056b20b77fd386bc9df65033cded, which includes the protection log, 
is misleading on history pages, so the original message should be added as a 
separate message for use on history pages only.

Change-Id: I272a2342afbfdc76d16e54bc5b2b901e6b35ac71
---
M includes/actions/HistoryAction.php
M languages/i18n/en.json
M languages/i18n/qqq.json
3 files changed, 3 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/75/372775/1

diff --git a/includes/actions/HistoryAction.php 
b/includes/actions/HistoryAction.php
index 7460340..d22f7c6 100644
--- a/includes/actions/HistoryAction.php
+++ b/includes/actions/HistoryAction.php
@@ -160,7 +160,7 @@
[ 'lim' => 10,
'conds' => [ 'log_action != ' . 
$dbr->addQuotes( 'revision' ) ],
'showIfEmpty' => false,
-   'msgKey' => [ 'moveddeleted-notice' ]
+   'msgKey' => [ 
'moveddeleted-notice-history' ]
]
);
 
diff --git a/languages/i18n/en.json b/languages/i18n/en.json
index 6126bbd..70cb217 100644
--- a/languages/i18n/en.json
+++ b/languages/i18n/en.json
@@ -737,6 +737,7 @@
"contentmodelediterror": "You cannot edit this revision because its 
content model is $1, which differs from the current content model 
of the page $2.",
"recreate-moveddeleted-warn": "Warning: You are recreating a 
page that was previously deleted.\n\nYou should consider whether it is 
appropriate to continue editing this page.\nThe deletion and move log for this 
page are provided here for convenience:",
"moveddeleted-notice": "This page has been deleted.\nThe deletion, 
protection, and move log for the page are provided below for reference.",
+   "moveddeleted-notice-history": "This page has been deleted.\nThe 
deletion and move log for the page are provided below for reference.",
"moveddeleted-notice-recent": "Sorry, this page was recently deleted 
(within the last 24 hours).\nThe deletion, protection, and move log for the 
page are provided below for reference.",
"log-fulllog": "View full log",
"edit-hook-aborted": "Edit aborted by hook.\nIt gave no explanation.",
diff --git a/languages/i18n/qqq.json b/languages/i18n/qqq.json
index bc0fe2c..33ef9a3 100644
--- a/languages/i18n/qqq.json
+++ b/languages/i18n/qqq.json
@@ -927,6 +927,7 @@
"contentmodelediterror": "Error message shown when trying to edit an 
old revision with a content model different from that of the current 
revision\n* $1 - content model of the old revision\n* $2 - content model of the 
current revision",
"recreate-moveddeleted-warn": "Warning shown when creating a page which 
has already been deleted. See for example [[Test]].",
"moveddeleted-notice": "Shown on top of a deleted page in normal view 
modus ([{{canonicalurl:Test}} example]).\n\nSee also 
{{msg-mw|moveddeleted-notice-recent}}",
+   "moveddeleted-notice-history": "Shown when viewing the history page for 
a previously deleted page."
"moveddeleted-notice-recent": "Shown on top of a recently deleted page 
in normal view modus ([{{canonicalurl:Test}} example]).\n\nSee also 
{{msg-mw|moveddeleted-notice}}",
"log-fulllog": "Used as link text.",
"edit-hook-aborted": "Used as error message.\n\nSee also:\n* 
{{msg-mw|edit-gone-missing}}\n* {{msg-mw|edit-conflict}}\n* 
{{msg-mw|edit-no-change}}\n* {{msg-mw|edit-already-exists}}",

-- 
To view, visit https://gerrit.wikimedia.org/r/372775
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I272a2342afbfdc76d16e54bc5b2b901e6b35ac71
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: GeoffreyT2000 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I6f6ec5aea8dc66790656a7652fae21267ae8f054
---
M pywikibot/families/wiktionary_family.py
1 file changed, 2 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/pywikibot/core 
refs/changes/74/372774/2

diff --git a/pywikibot/families/wiktionary_family.py 
b/pywikibot/families/wiktionary_family.py
index 5645ce5..882bfb7 100644
--- a/pywikibot/families/wiktionary_family.py
+++ b/pywikibot/families/wiktionary_family.py
@@ -47,7 +47,7 @@
 'gn', 'mr', 'so', 'csb', 'ug', 'gd', 'mt', 'st', 'roa-rup', 'si',
 'ia', 'ie', 'ay', 'mi', 'kl', 'fo', 'jbo', 'ln', 'zu', 'na', 'gu',
 'gv', 'kw', 'rw', 'ts', 'ne', 'om', 'qu', 'ss', 'su', 'ha', 'iu',
-'am', 'dv', 'tpi', 'yi', 'ti', 'sg', 'tn', 'ks',
+'am', 'dv', 'tpi', 'yi', 'ti', 'sg', 'tn', 'ks', 'hif',
 ]
 
 super(Family, self).__init__()
@@ -92,7 +92,7 @@
 'id', 'ms', 'bm', 'zh-min-nan', 'jv', 'su', 'mt', 'bi', 'bo', 'bs',
 'br', 'ca', 'cs', 'ch', 'sn', 'co', 'za', 'cy', 'da', 'de', 'na',
 'mh', 'et', 'ang', 'en', 'es', 'eo', 'eu', 'to', 'fr', 'fy', 'fo',
-'ga', 'gv', 'sm', 'gd', 'gl', 'hr', 'io', 'ia', 'ie', 'ik', 'xh',
+'ga', 'gv', 'sm', 'gd', 'gl', 'hif', 'hr', 'io', 'ia', 'ie', 'ik', 
'xh',
 'is', 'zu', 'it', 'kl', 'csb', 'kw', 'rw', 'rn', 'sw', 'ky', 'ku',
 'la', 'lv', 'lb', 'lt', 'li', 'ln', 'jbo', 'hu', 'mg', 'mi', 'mo',
 'my', 'fj', 'nah', 'nl', 'cr', 'no', 'nn', 'hsb', 'oc', 'om', 'ug',

-- 
To view, visit https://gerrit.wikimedia.org/r/372774
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I6f6ec5aea8dc66790656a7652fae21267ae8f054
Gerrit-PatchSet: 2
Gerrit-Project: pywikibot/core
Gerrit-Branch: master
Gerrit-Owner: Jayprakash12345 <0freerunn...@gmail.com>
Gerrit-Reviewer: Framawiki 
Gerrit-Reviewer: Magul 
Gerrit-Reviewer: Mpaa 
Gerrit-Reviewer: Xqt 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I562b8eeba7f8d0423677327e4c86fecbc5b45790
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index c53e16f..f4f0ced 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -24,14 +24,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372661
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I562b8eeba7f8d0423677327e4c86fecbc5b45790
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Calendar
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I86b1e1405e76c01e0b1dbe722020a7dd92f05d36
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index b2eb6fd..526b566 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -25,14 +25,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372666
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I86b1e1405e76c01e0b1dbe722020a7dd92f05d36
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CharInsert
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Iceb79e6a25b5bc11e8eba316af4cccbb7226fbc0
---
R .stylelintrc.json
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json

-- 
To view, visit https://gerrit.wikimedia.org/r/372660
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iceb79e6a25b5bc11e8eba316af4cccbb7226fbc0
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/BoilerPlate
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I2fd53392b70d40f3e13e98a52e156dd3bb70b94f
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 143326e..7af4c5f 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -11,14 +11,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372662
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I2fd53392b70d40f3e13e98a52e156dd3bb70b94f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Capiunto
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Jackmcbarn 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I57063935e27aa298dd7c286061de6e0dabfcba3d
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 9e846b8..8012207 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -18,20 +18,23 @@
eslint: {
all: [
'modules/**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: conf.MessagesDirs,
stylelint: {
src: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
jsonlint: {
all: [
'**/*.json',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372670
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I57063935e27aa298dd7c286061de6e0dabfcba3d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Citoid
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I02fe701cdcb508fb5ba8c64114b932a6fbd3047f
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 58a0a1f..79b0b8a 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -13,15 +13,16 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
'**/*.less',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
jshint: {

-- 
To view, visit https://gerrit.wikimedia.org/r/372664
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I02fe701cdcb508fb5ba8c64114b932a6fbd3047f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CentralAuth
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ie9845533c08f8f879514904f1806c971681c5e65
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 827e202..b5e41a5 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -17,14 +17,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372669
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ie9845533c08f8f879514904f1806c971681c5e65
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CiteThisPage
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I87b85149dcbca79ffa2ed0526b4ff75c34dd9ac9
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 199cbf1..bd33318 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -22,7 +22,6 @@
all: [
'*.json',
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]

-- 
To view, visit https://gerrit.wikimedia.org/r/372665
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I87b85149dcbca79ffa2ed0526b4ff75c34dd9ac9
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CentralNotice
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: AndyRussG 
Gerrit-Reviewer: Ejegg 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: XenoRyet 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I3216495396d962490b2ef69caa0e5f6263a4922d
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 41082b7..df5bdd7 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -18,7 +18,8 @@
all: [
'**/*.js',
'!node_modules/**',
-   '!modules/ace/**'
+   '!modules/ace/**',
+   '!vendor/**'
]
},
stylelint: {
@@ -26,14 +27,16 @@
'**/*.css',
'**/*.less',
'!node_modules/**',
-   '!modules/ace/**'
+   '!modules/ace/**',
+   '!vendor/**'
]
},
banana: conf.MessagesDirs,
jsonlint: {
all: [
'**/*.json',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372672
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I3216495396d962490b2ef69caa0e5f6263a4922d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeEditor
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: TheDJ 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I1629e74a301e76a436dcec8b363f09aebfcecac8
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 0a4c1fd..38d3bfb 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -35,7 +35,6 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]

-- 
To view, visit https://gerrit.wikimedia.org/r/372668
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I1629e74a301e76a436dcec8b363f09aebfcecac8
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Cite
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Jackmcbarn 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I510dd64723693f672f86deded6b692699dc22b1f
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Cindy-the-browser-test-bot: Looks good to me, but someone else must approve
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index d49a742..024f234 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -18,7 +18,8 @@
},
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: {
@@ -29,8 +30,8 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
@@ -38,7 +39,8 @@
'**/*.css',
'**/*.less',
'!node_modules/**',
-   '!tests/browser/articles/**'
+   '!tests/browser/articles/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372667
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I510dd64723693f672f86deded6b692699dc22b1f
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CirrusSearch
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Cindy-the-browser-test-bot 
Gerrit-Reviewer: DCausse 
Gerrit-Reviewer: EBernhardson 
Gerrit-Reviewer: Gehel 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Smalyshev 
Gerrit-Reviewer: Tjones 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ic8d48fc021ed415fbf43e21b4f918d8dd690e31a
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index b859b95..92142f5 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -20,21 +20,23 @@
},
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: conf.MessagesDirs,
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372674
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic8d48fc021ed415fbf43e21b4f918d8dd690e31a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeReview
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Jack Phoenix 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Iacceced4b25b59e32f38e53b9ec2dd9df8193477
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 9ef1985..b1a3909 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -10,14 +10,16 @@
all: [
'**/*.js',
'!resources/lib/**',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.{css,less}',
'!resources/lib/**',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: {
@@ -26,8 +28,8 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372673
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iacceced4b25b59e32f38e53b9ec2dd9df8193477
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CodeMirror
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ied213f2fc477af1f219a58cb9ddb29d225d5a600
---
M Gruntfile.js
1 file changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/Gruntfile.js b/Gruntfile.js
index 9f62e3c..2ef3730 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -13,7 +13,6 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]

-- 
To view, visit https://gerrit.wikimedia.org/r/372574
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ied213f2fc477af1f219a58cb9ddb29d225d5a600
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ic1dbe2c7cad3b6cecd4277094d687a2384b891e1
---
M Gruntfile.js
1 file changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/Gruntfile.js b/Gruntfile.js
index aaa8f43..38250a7 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -27,7 +27,6 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]

-- 
To view, visit https://gerrit.wikimedia.org/r/372575
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic1dbe2c7cad3b6cecd4277094d687a2384b891e1
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ElectronPdfService
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Addshore 
Gerrit-Reviewer: Andrew-WMDE 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Pmiazga 
Gerrit-Reviewer: Tobias Gritschacher 
Gerrit-Reviewer: WMDE-Fisch 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I836d9278f151738e8ab38e0512d52943c834688d
---
R .stylelintrc.json
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json

-- 
To view, visit https://gerrit.wikimedia.org/r/372676
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I836d9278f151738e8ab38e0512d52943c834688d
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Collection
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: C. Scott Ananian 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I48fb5eb41806cc6da8e0c3435f3458008bf08a03
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 2 insertions(+), 2 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 414bec0..33f5124 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -27,7 +27,6 @@
all: [
'*.json',
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]
@@ -35,7 +34,8 @@
stylelint: {
all: [
'**/*.less',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372675
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I48fb5eb41806cc6da8e0c3435f3458008bf08a03
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/CollaborationKit
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I58fcd6742e23a4ec8dd3f779188101c00906b449
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 0e1f7c1..9ea8f8c 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -21,14 +21,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372680
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I58fcd6742e23a4ec8dd3f779188101c00906b449
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/DismissableSiteNotice
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I45977939769aa453201bccc783280115df1e4909
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 1e9ab56..72eacfb 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -19,7 +19,8 @@
},
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: {
@@ -28,14 +29,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372679
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I45977939769aa453201bccc783280115df1e4909
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ContributionTracking
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ia9cd192256b883200cf6c76bac513b9e70b0c482
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 2 insertions(+), 2 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 8fc0dc0..c496485 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -49,8 +49,8 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {

-- 
To view, visit https://gerrit.wikimedia.org/r/372681
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ia9cd192256b883200cf6c76bac513b9e70b0c482
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/DonationInterface
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: AndyRussG 
Gerrit-Reviewer: Ejegg 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Mepps 
Gerrit-Reviewer: XenoRyet 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I993a8ecdf8e9f818d4e4ae2d15655d8c9c6de125
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 0ce27d0..2ac1ee8 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -11,14 +11,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372683
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I993a8ecdf8e9f818d4e4ae2d15655d8c9c6de125
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/EducationProgram
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: AndyRussG 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ia0221ec51d2352756e8884cf0b2aca85d6f5b3c6
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 04141f7..67d8483 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -22,14 +22,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: {

-- 
To view, visit https://gerrit.wikimedia.org/r/372684
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ia0221ec51d2352756e8884cf0b2aca85d6f5b3c6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/EventLogging
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Ori.livneh 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I35ace0ecb29c591e4626b16cdb32492375cc12fb
---
R .stylelintrc.json
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json

-- 
To view, visit https://gerrit.wikimedia.org/r/372685
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I35ace0ecb29c591e4626b16cdb32492375cc12fb
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ExtensionDistributor
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I232542f55847b9ae1abd5cf3db9bfdcbe7025637
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index c86df18..14d66a0 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -9,13 +9,15 @@
eslint: {
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: {
@@ -36,7 +38,8 @@
jsonlint: {
all: [
'**/*.json',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372686
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I232542f55847b9ae1abd5cf3db9bfdcbe7025637
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/FlaggedRevs
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Jackmcbarn 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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 usable for any wiki (not just for ShoutWiki)
that uses the `user` table as a shared table.

Change-Id: Ic6409becbb4b497f7b193d7335abf305521fa2d3
---
A EditcountAdditions.class.php
A extension.json
A i18n/en.json
A i18n/qqq.json
4 files changed, 115 insertions(+), 0 deletions(-)

Approvals:
  Jack Phoenix: Verified; Looks good to me, approved



diff --git a/EditcountAdditions.class.php b/EditcountAdditions.class.php
new file mode 100644
index 000..c9c2174
--- /dev/null
+++ b/EditcountAdditions.class.php
@@ -0,0 +1,76 @@
+
+ */
+
+class EditcountAdditions {
+
+   /**
+* Fix the editcount on [[Special:Preferences]]
+* by overwriting the core editcount
+*
+* @param User $user
+* @param array &$defaultPreferences
+* @return bool true
+*/
+   public static function onGetPreferences( $user, &$defaultPreferences ) {
+   global $wgLang;
+   // Overwrite core edit count
+   $defaultPreferences['editcount']['default'] = 
$wgLang->formatNum( self::getRealEditcount( $user ) );
+   return true;
+   }
+
+   /**
+* Get the real edit count of the given user, fetching it either from 
the
+* cache or directly from the DB (and storing it in cache afterwards) if
+* it's not cached.
+*
+* @param User $user User object whose edit count we want
+* @return int Edit count (d'oh!)
+*/
+   public static function getRealEditcount( $user ) {
+   global $wgMemc;
+
+   $uid = $user->getId();
+   $key = wfMemcKey( 'editcount', 'accurate', $uid );
+   $editCount = $wgMemc->get( $key );
+
+   if ( $editCount === false ) {
+   $dbr = wfGetDB( DB_SLAVE );
+
+   // Query timing to determine for how long we should 
cache the data (HT ValhallaSW)
+   $beginTime = microtime( true );
+   $editCount = $dbr->selectField(
+   'revision', 'COUNT(*)',
+   array( 'rev_user' => $uid ),
+   __METHOD__
+   );
+   $endTime = microtime( true ) - $beginTime;
+
+   // $endTime is in seconds, so multiply it by 60 to get 
minutes
+   $wgMemc->set( $key, $editCount, 60 * ( $endTime * 60 ) 
);
+   }
+
+   return $editCount;
+   }
+
+   // Bump the memcache key by one after a page has successfully been 
saved, as per legoktm
+   public static function onPageContentSaveComplete(
+   $article, $user, $content, $summary, $isMinor, $isWatch,
+   $section, $flags, $revision, $status, $baseRevId ) {
+   global $wgMemc;
+   // No need to run this code for anons since anons don't have 
preferences
+   // nor does Special:Editcount work for them
+   if ( $user && $user->isLoggedIn() ) {
+   $key = wfMemcKey( 'editcount', 'accurate', 
$user->getId() );
+   $wgMemc->incr( $key );
+   }
+   return true;
+   }
+
+}
\ No newline at end of file
diff --git a/extension.json b/extension.json
new file mode 100644
index 000..a6e
--- /dev/null
+++ b/extension.json
@@ -0,0 +1,23 @@
+{
+   "name": "EditcountAdditions",
+   "version": "0.1",
+   "author": [
+   "Jack Phoenix"
+   ],
+   "license-name": "CC-0",
+   "url": "https://www.mediawiki.org/wiki/Extension:EditcountAdditions;,
+   "descriptionmsg": "editcountadditions-desc",
+   "type": "other",
+   "AutoloadClasses": {
+   "EditcountAdditions": "EditcountAdditions.class.php"
+   },
+   "Hooks": {
+   "GetPreferences": [
+   "EditcountAdditions::onGetPreferences"
+   ],
+   "PageContentSaveComplete": [
+   "EditcountAdditions::onPageContentSaveComplete"
+   ]
+   },
+   "manifest_version": 1
+}
\ No newline at end of file
diff --git a/i18n/en.json b/i18n/en.json
new file mode 100644
index 000..a46b151
--- /dev/null
+++ b/i18n/en.json
@@ -0,0 +1,8 @@
+{
+   "@metadata": [
+   "authors": [
+   "Samantha Nguyen"
+   ]
+   ],
+   "editcountadditions-desc": "Shows the local editcount on 
[[Special:Preferences]] for wikis that use the user table as a 
shared table."
+}
\ No newline at end of file
diff --git a/i18n/qqq.json b/i18n/qqq.json
new file mode 100644
index

[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: If8a1e1950e9be55459c1ad9b3dc67eceef0ff716
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 38be4c8..1f9975e 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -16,14 +16,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372691
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: If8a1e1950e9be55459c1ad9b3dc67eceef0ff716
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/GlobalUserPage
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ifb821fcc39fe296273fb73c4b11b8be4f20da587
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index e0a034e..c389ce1 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -31,7 +31,7 @@
banana: conf.MessagesDirs,
watch: {
files: [
-   '.{stylelintrc,eslintrc.json}',
+   '.{stylelintrc,eslintrc}.json',
'<%= eslint.all %>',
'<%= stylelint.all %>'
],

-- 
To view, visit https://gerrit.wikimedia.org/r/372682
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ifb821fcc39fe296273fb73c4b11b8be4f20da587
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Echo
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I0e63157bf838548b8bb9d358e7c968cb74046ec2
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 50579c2..6f699a3 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -12,14 +12,15 @@
},
all: [
'**/*.js',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.less',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: {
@@ -28,7 +29,8 @@
jsonlint: {
all: [
'**/*.json',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372689
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I0e63157bf838548b8bb9d358e7c968cb74046ec2
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/GettingStarted
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Mattflaschen 
Gerrit-Reviewer: Phuedx 
Gerrit-Reviewer: Swalling 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Iaca8b91525d59d86e9f085ad0d232176ff19c5a3
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index fa07030..cb1e15c 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -12,7 +12,8 @@
},
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: {
@@ -21,14 +22,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372688
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iaca8b91525d59d86e9f085ad0d232176ff19c5a3
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/GWToolset
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Iee937b37b299dab287377fd49b8eebabf2d6082e
---
R .stylelintrc.json
M Gruntfile.js
M package.json
3 files changed, 3 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index b6d397f..3288551 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -31,7 +31,8 @@
jsonlint: {
all: [
'**/*.json',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );
diff --git a/package.json b/package.json
index c077e01..b6bd9f6 100644
--- a/package.json
+++ b/package.json
@@ -10,6 +10,7 @@
 "grunt-eslint": "19.0.0",
 "grunt-jsonlint": "1.0.8",
 "grunt-stylelint": "0.7.0",
+"stylelint": "7.8.0",
 "stylelint-config-wikimedia": "0.4.1"
   }
 }

-- 
To view, visit https://gerrit.wikimedia.org/r/372690
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iee937b37b299dab287377fd49b8eebabf2d6082e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/GlobalPreferences
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I0b473b626786556b3a65d12971d18d226d1920f9
---
R .stylelintrc.json
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json

-- 
To view, visit https://gerrit.wikimedia.org/r/372687
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I0b473b626786556b3a65d12971d18d226d1920f9
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Flow
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ie866b9112eed033a16f74f0ae2c82dc3e3ea769e
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 2e89899..8e17c27 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -24,14 +24,15 @@
all: [
'*.json',
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372695
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ie866b9112eed033a16f74f0ae2c82dc3e3ea769e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Interwiki
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I8e963c76fa7af376f410c4e4294f5ada2cb932db
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 5f8eaef..71742f0 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -13,7 +13,8 @@
all: [
'**/*.js',
'!node_modules/**',
-   '!lib/**'
+   '!lib/**',
+   '!vendor/**'
]
},
banana: {
@@ -22,14 +23,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372694
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I8e963c76fa7af376f410c4e4294f5ada2cb932db
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/InputBox
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Jackmcbarn 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I00be7852a8bc8b4c8536388e7e8f2ab3d69f51ac
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 7 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 0a3b35d..52f7e22 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -14,13 +14,14 @@
'**/*.js',
'!node_modules/**',
'!lib/**',
-   '!docs/**'
+   '!docs/**',
+   '!vendor/**'
]
},
banana: conf.MessagesDirs,
watch: {
files: [
-   '.{stylelintrc}',
+   '.{stylelintrc}.json',
'<%= eslint.alll %>'
],
tasks: 'test'
@@ -34,14 +35,16 @@
'**/*.{css,less}',
'!node_modules/**',
'!lib/**',
-   '!docs/**'
+   '!docs/**',
+   '!vendor/**'
]
}
},
jsonlint: {
all: [
'**/*.json',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372697
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I00be7852a8bc8b4c8536388e7e8f2ab3d69f51ac
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Kartographer
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: MaxSem 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Id369616b0dea55b794f929843896b133f0a1a502
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index d62c0f2..ed69404 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -23,7 +23,6 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]

-- 
To view, visit https://gerrit.wikimedia.org/r/372693
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id369616b0dea55b794f929843896b133f0a1a502
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/GuidedTour
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Mattflaschen 
Gerrit-Reviewer: Phuedx 
Gerrit-Reviewer: Swalling 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ia26389b77fcc0802f218c3445a639db67d70bcd6
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index bc5ff98..72833bf 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -10,7 +10,8 @@
eslint: {
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: {
@@ -19,14 +20,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372698
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ia26389b77fcc0802f218c3445a639db67d70bcd6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/LiquidThreads
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I70f8cf9cc69ee8d78e760e5c13a33b31087d931a
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 7 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 89ce0a0..00a1e7d 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -21,7 +21,8 @@
'*.js',
'**/*.js',
'!lib/**',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
@@ -32,12 +33,13 @@
'**/*.css',
'**/*.less',
'!lib/**',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
watch: {
files: [
-   '.{stylelintrc,eslintrc.json}',
+   '.{stylelintrc,eslintrc}.json',
'<%= eslint.all %>',
'<%= stylelint.all %>'
],
@@ -47,7 +49,8 @@
jsonlint: {
all: [
'**/*.json',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372692
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I70f8cf9cc69ee8d78e760e5c13a33b31087d931a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Graph
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Id1cc2fd8a3372beb05ceb06785ee26cf5f5d72a5
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 6b6bd1c..52d9f6d 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -12,21 +12,23 @@
eslint: {
all: [
'modules/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: conf.MessagesDirs,
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372699
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id1cc2fd8a3372beb05ceb06785ee26cf5f5d72a5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MassMessage
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Wctaiwan 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I2ffdd7d96dcd56e14c06b46ebb4239a2e6ee6054
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index b784cf1..4ce8b94 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -13,7 +13,8 @@
all: [
'**/*.js',
'!modules/qrcode.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: {
@@ -22,14 +23,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372705
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I2ffdd7d96dcd56e14c06b46ebb4239a2e6ee6054
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/OATHAuth
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I8b0c69fc66255a8f33e54d34b93c136c1e5f0673
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index d42eed8..11b9428 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -19,14 +19,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372706
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I8b0c69fc66255a8f33e54d34b93c136c1e5f0673
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/OAuth
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I1e4f85a98abbe99ac225ef4dbfdf3ccc872a6a79
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 1fddf69..e1e1bf0 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -19,14 +19,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.less',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372701
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I1e4f85a98abbe99ac225ef4dbfdf3ccc872a6a79
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileApp
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Dbrant 
Gerrit-Reviewer: Fjalapeno 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Mholloway 
Gerrit-Reviewer: Mhurd 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I79efadb3c75b3c14f81d7bd7848beafef71e2dd9
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 7 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 3200e47..9fe331a 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -13,18 +13,20 @@
jsonlint: {
all: [
'**/*.json',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
watch: {
files: [
-   '.{stylelintrc,.eslintrc.json}',
+   '.{stylelintrc,.eslintrc}.json',
'<%= eslint.all %>',
'<%= stylelint.all %>'
],
@@ -34,7 +36,8 @@
all: [
'*.js',
'modules/**/*.js',
-   '!**/node_modules/**'
+   '!**/node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372700
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I79efadb3c75b3c14f81d7bd7848beafef71e2dd9
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Math
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Physikerwelt 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Iefdbc7f42e9752b82918991e54bb4337aeaf26d5
---
R .stylelintrc.json
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json

-- 
To view, visit https://gerrit.wikimedia.org/r/372707
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iefdbc7f42e9752b82918991e54bb4337aeaf26d5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ORES
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I022de8f8ba520e0f0456ad4c10cc575ab2b80123
---
R .stylelintrc.json
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json

-- 
To view, visit https://gerrit.wikimedia.org/r/372702
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I022de8f8ba520e0f0456ad4c10cc575ab2b80123
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MobileFrontend
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Pmiazga 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Iae47af07d12b63d2f8674ecec51eb2b3b4830a07
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 83d7f94..5d5d14d 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -24,8 +24,8 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
@@ -33,7 +33,8 @@
'**/*.css',
'**/*.less',
'!lib/**',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372696
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iae47af07d12b63d2f8674ecec51eb2b3b4830a07
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/JsonConfig
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I4a137668bc9d8b575c26ada2a58b702c2e6860bc
---
R .stylelintrc.json
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json

-- 
To view, visit https://gerrit.wikimedia.org/r/372703
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I4a137668bc9d8b575c26ada2a58b702c2e6860bc
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/MultimediaViewer
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I428d0134929f0da78a5fff9a31f3cfda836c312a
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 491c3d0..9fc340a 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -18,14 +18,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372711
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I428d0134929f0da78a5fff9a31f3cfda836c312a
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PerformanceInspector
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I806b6c0886a73ceb20fb46032f8bb05efeb4
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 34b292f..504afbe 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -20,14 +20,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372712
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I806b6c0886a73ceb20fb46032f8bb05efeb4
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Petition
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I0c0a67d75b0e3302aee07ced1349890041c12582
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 2b698b9..fb117d1 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -10,7 +10,6 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]

-- 
To view, visit https://gerrit.wikimedia.org/r/372710
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I0c0a67d75b0e3302aee07ced1349890041c12582
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ParserMigration
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I94f3203f638de177554f9abbb1318396c5593b94
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 2460a7d..152c1ba 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -13,7 +13,8 @@
},
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
jscs: {
@@ -25,14 +26,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372704
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I94f3203f638de177554f9abbb1318396c5593b94
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Newsletter
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Addshore 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: If390ed72f43f79e9a60ceb7770b47209e47b77db
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 5c4d202..69ec8e0 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -12,7 +12,8 @@
},
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: {
@@ -21,14 +22,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372708
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: If390ed72f43f79e9a60ceb7770b47209e47b77db
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/OpenStackManager
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: If373e1edcef8a014891577f356ea3bc711b345f5
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index b8a50b0..1f74ac2 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -21,7 +21,8 @@
all: [
'**/*.js',
'!node_modules/**',
-   '!modules/external/*.js'
+   '!modules/external/*.js',
+   '!vendor/**'
]
},
jscs: {
@@ -30,7 +31,8 @@
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: {
@@ -47,8 +49,8 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372709
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: If373e1edcef8a014891577f356ea3bc711b345f5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PageTriage
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I352840aa4c400f27bba2028ca39b5ae2e0f8dcf8
---
R .stylelintrc.json
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json

-- 
To view, visit https://gerrit.wikimedia.org/r/372713
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I352840aa4c400f27bba2028ca39b5ae2e0f8dcf8
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Popups
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Pmiazga 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I877c1bb4b8f3b6d28857d9353b6b04315179e7dd
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 5 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 85342e3..c0c3189 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -13,6 +13,7 @@
eslint: {
all: [
'!node_modules/**',
+   '!vendor/**',
'<%= files.js %>'
]
},
@@ -22,14 +23,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.less',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372717
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I877c1bb4b8f3b6d28857d9353b6b04315179e7dd
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/QuickSurveys
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ide990dc14179977e289afb606ace0cff5266f2d8
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 1 insertion(+), 2 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 1246162..4b3094e 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -29,13 +29,12 @@
jsonlint: {
all: [
'*.json',
-   '.stylelintrc',
'i18n/*.json'
]
},
watch: {
files: [
-   '.{stylelintrc,eslintrc.json}',
+   '.{stylelintrc,eslintrc}.json',
'<%= eslint.all %>',
'<%= stylelint.all %>'
],

-- 
To view, visit https://gerrit.wikimedia.org/r/372714
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ide990dc14179977e289afb606ace0cff5266f2d8
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PronunciationRecording
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ie7693526c4bde2f0d1201ebdf0c934aa60636a99
---
R .stylelintrc.json
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json

-- 
To view, visit https://gerrit.wikimedia.org/r/372715
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ie7693526c4bde2f0d1201ebdf0c934aa60636a99
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ProofreadPage
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I001e5135186ab508dbf6ad5b7f6028d4b5d93c26
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 41077d6..77b8308 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -12,20 +12,22 @@
jshint: {
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372718
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I001e5135186ab508dbf6ad5b7f6028d4b5d93c26
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Quiz
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I61dcae11f40016a339c56d473a85ed9a4703f3dc
---
R .stylelintrc.json
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json

-- 
To view, visit https://gerrit.wikimedia.org/r/372719
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I61dcae11f40016a339c56d473a85ed9a4703f3dc
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ReadingLists
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I9069f564b622d745f901ae67b36012a7ee953bd1
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index d0a9bf5..aa5a7fb 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -10,14 +10,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
jshint: {

-- 
To view, visit https://gerrit.wikimedia.org/r/372724
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I9069f564b622d745f901ae67b36012a7ee953bd1
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ShortUrl
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Iec742151ccb61c2471c9d8b3c69f9830eacdfb70
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 7 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 1000396..f1a1177 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -12,18 +12,20 @@
eslint: {
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
src: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
watch: {
files: [
-   '.{stylelintrc,eslintrc.json}',
+   '.{stylelintrc,eslintrc}.json',
'<%= eslint.all %>'
],
tasks: 'lint'
@@ -32,7 +34,8 @@
jsonlint: {
all: [
'**/*.json',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372721
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iec742151ccb61c2471c9d8b3c69f9830eacdfb70
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Score
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Id130c08217449db9652bdadd42a3542ff34f80cd
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 6 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 438ac4e..e9c0d3a 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -19,16 +19,16 @@
},
jsonlint: {
all: [
- '**/*.json',
- '.stylelintrc',
- '!node_modules/**',
- '!vendor/**'
- ]
+   '**/*.json',
+   '!node_modules/**',
+   '!vendor/**'
+   ]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372723
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id130c08217449db9652bdadd42a3542ff34f80cd
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SecurePoll
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I4b5293769f5cce7ebd86218d9629a272695b
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 3b3f9ac..04666bc9 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -9,7 +9,8 @@
eslint: {
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: {
@@ -18,14 +19,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372722
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I4b5293769f5cce7ebd86218d9629a272695b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Scribunto
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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 for any wiki (not just for ShoutWiki)
that uses the `user` table as a shared table.

Change-Id: Ic6409becbb4b497f7b193d7335abf305521fa2d3
---
A EditcountAdditions.class.php
A extension.json
A i18n/en.json
A i18n/qqq.json
4 files changed, 115 insertions(+), 0 deletions(-)


  git pull 
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/EditcountAdditions 
refs/changes/73/372773/1

diff --git a/EditcountAdditions.class.php b/EditcountAdditions.class.php
new file mode 100644
index 000..c9c2174
--- /dev/null
+++ b/EditcountAdditions.class.php
@@ -0,0 +1,76 @@
+
+ */
+
+class EditcountAdditions {
+
+   /**
+* Fix the editcount on [[Special:Preferences]]
+* by overwriting the core editcount
+*
+* @param User $user
+* @param array &$defaultPreferences
+* @return bool true
+*/
+   public static function onGetPreferences( $user, &$defaultPreferences ) {
+   global $wgLang;
+   // Overwrite core edit count
+   $defaultPreferences['editcount']['default'] = 
$wgLang->formatNum( self::getRealEditcount( $user ) );
+   return true;
+   }
+
+   /**
+* Get the real edit count of the given user, fetching it either from 
the
+* cache or directly from the DB (and storing it in cache afterwards) if
+* it's not cached.
+*
+* @param User $user User object whose edit count we want
+* @return int Edit count (d'oh!)
+*/
+   public static function getRealEditcount( $user ) {
+   global $wgMemc;
+
+   $uid = $user->getId();
+   $key = wfMemcKey( 'editcount', 'accurate', $uid );
+   $editCount = $wgMemc->get( $key );
+
+   if ( $editCount === false ) {
+   $dbr = wfGetDB( DB_SLAVE );
+
+   // Query timing to determine for how long we should 
cache the data (HT ValhallaSW)
+   $beginTime = microtime( true );
+   $editCount = $dbr->selectField(
+   'revision', 'COUNT(*)',
+   array( 'rev_user' => $uid ),
+   __METHOD__
+   );
+   $endTime = microtime( true ) - $beginTime;
+
+   // $endTime is in seconds, so multiply it by 60 to get 
minutes
+   $wgMemc->set( $key, $editCount, 60 * ( $endTime * 60 ) 
);
+   }
+
+   return $editCount;
+   }
+
+   // Bump the memcache key by one after a page has successfully been 
saved, as per legoktm
+   public static function onPageContentSaveComplete(
+   $article, $user, $content, $summary, $isMinor, $isWatch,
+   $section, $flags, $revision, $status, $baseRevId ) {
+   global $wgMemc;
+   // No need to run this code for anons since anons don't have 
preferences
+   // nor does Special:Editcount work for them
+   if ( $user && $user->isLoggedIn() ) {
+   $key = wfMemcKey( 'editcount', 'accurate', 
$user->getId() );
+   $wgMemc->incr( $key );
+   }
+   return true;
+   }
+
+}
\ No newline at end of file
diff --git a/extension.json b/extension.json
new file mode 100644
index 000..a6e
--- /dev/null
+++ b/extension.json
@@ -0,0 +1,23 @@
+{
+   "name": "EditcountAdditions",
+   "version": "0.1",
+   "author": [
+   "Jack Phoenix"
+   ],
+   "license-name": "CC-0",
+   "url": "https://www.mediawiki.org/wiki/Extension:EditcountAdditions;,
+   "descriptionmsg": "editcountadditions-desc",
+   "type": "other",
+   "AutoloadClasses": {
+   "EditcountAdditions": "EditcountAdditions.class.php"
+   },
+   "Hooks": {
+   "GetPreferences": [
+   "EditcountAdditions::onGetPreferences"
+   ],
+   "PageContentSaveComplete": [
+   "EditcountAdditions::onPageContentSaveComplete"
+   ]
+   },
+   "manifest_version": 1
+}
\ No newline at end of file
diff --git a/i18n/en.json b/i18n/en.json
new file mode 100644
index 000..a46b151
--- /dev/null
+++ b/i18n/en.json
@@ -0,0 +1,8 @@
+{
+   "@metadata": [
+   "authors": [
+   "Samantha Nguyen"
+   ]
+   ],
+   "editcountadditions-desc": "Shows the local editcount on 
[[Special:Preferences]] for wikis that use the user table as a 
shared table."
+}
\ No newline at end of file
diff --git a/i18n/qqq.json

[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: Idadde6e4d4c1a16d54ecdeaa1cde20930420722c
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 8651c9c..52420ee 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -20,14 +20,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.less',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372720
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Idadde6e4d4c1a16d54ecdeaa1cde20930420722c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/RelatedArticles
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ia7982e756f6cc8c8c6183b6bb55621501cbddacb
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 1 insertion(+), 2 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 3ac43c1..7e4ab44 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -25,8 +25,7 @@
all: [
'*.json',
'i18n/*.json',
-   'modules/**/*.json',
-   '.stylelintrc'
+   'modules/**/*.json'
]
},
stylelint: {

-- 
To view, visit https://gerrit.wikimedia.org/r/372725
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ia7982e756f6cc8c8c6183b6bb55621501cbddacb
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/SyntaxHighlight_GeSHi
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ia3790f547b0618b73a6734fd5eda9b7bbdd2e908
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 758f229..c3cafdc 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -11,7 +11,8 @@
eslint: {
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
@@ -20,14 +21,16 @@
},
all: [
'**/*.less',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: conf.MessagesDirs,
jsonlint: {
all: [
'**/*.json',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372727
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ia3790f547b0618b73a6734fd5eda9b7bbdd2e908
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/TemplateSandbox
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Idfe75af687cc556c9369e6a68119d41ec67bef59
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index a20617b..26812ff 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -36,7 +36,7 @@
banana: conf.MessagesDirs,
watch: {
files: [
-   '.{stylelintrc,eslintrc.json}',
+   '.{stylelintrc,eslintrc}.json',
'<%= eslint.all %>',
'<%= stylelint.all %>'
],

-- 
To view, visit https://gerrit.wikimedia.org/r/372726
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Idfe75af687cc556c9369e6a68119d41ec67bef59
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/TemplateData
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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 changes as bot entries when user pages 
are renamed with globalrename tools.

Bug: T97659
Change-Id: I6b55290ec7eefdbf3c609ca4c97250f06edbc211
---
M i18n/en.json
M includes/GlobalRename/GlobalRenameUser.php
M includes/LocalRenameJob/LocalPageMoveJob.php
M includes/LocalRenameJob/LocalRenameUserJob.php
M includes/specials/SpecialGlobalRenameQueue.php
M includes/specials/SpecialGlobalRenameUser.php
6 files changed, 22 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/CentralAuth 
refs/changes/72/372772/1

diff --git a/i18n/en.json b/i18n/en.json
index a4717e6..a37760e 100644
--- a/i18n/en.json
+++ b/i18n/en.json
@@ -370,6 +370,7 @@
"centralauth-rename-form-oldname" : "Current username",
"centralauth-rename-form-newname" : "New username",
"centralauth-rename-form-reason" : "Reason",
+   "centralauth-rename-form-moveasbot" : "Mark as bot when move user 
pages",
"centralauth-rename-form-movepages" : "Move user pages",
"centralauth-rename-form-suppressredirects" : "Suppress creation of 
redirects",
"centralauth-rename-form-overrideantispoof": "Override any AntiSpoof 
conflicts",
@@ -470,6 +471,7 @@
"globalrenamequeue-request-reason": "Reason for requesting 
rename\n:$1",
"globalrenamequeue-request-reason-sul": "User notified of global name 
conflict in preparation for SUL finalization.",
"globalrenamequeue-request-comments-label": "Notes/reasoning",
+   "globalrenamequeue-request-moveasbot": "Mark as bot when move user 
pages",
"globalrenamequeue-request-movepages": "Move user pages",
"globalrenamequeue-request-suppressredirects": "Suppress creation of 
redirects",
"globalrenamequeue-request-approve-text": "Accept rename",
diff --git a/includes/GlobalRename/GlobalRenameUser.php 
b/includes/GlobalRename/GlobalRenameUser.php
index 4cad981..75712eb 100644
--- a/includes/GlobalRename/GlobalRenameUser.php
+++ b/includes/GlobalRename/GlobalRenameUser.php
@@ -212,6 +212,7 @@
'reattach' => $wikisAttached,
'movepages' => $options['movepages'],
'suppressredirects' => $options['suppressredirects'],
+   'moveasbot' => $options['moveasbot'],
'promotetoglobal' => false,
'reason' => $options['reason'],
'session' => $this->session,
diff --git a/includes/LocalRenameJob/LocalPageMoveJob.php 
b/includes/LocalRenameJob/LocalPageMoveJob.php
index 6020f15..781dfcf 100644
--- a/includes/LocalRenameJob/LocalPageMoveJob.php
+++ b/includes/LocalRenameJob/LocalPageMoveJob.php
@@ -39,6 +39,11 @@
} );
}
$this->user = User::newFromName( $this->params['renamer'] );
+   if ( $this->params['moveasbot'] ) {
+   if ( !$this->user->isAllowed( 'bot' ) ) {
+   $this->user->mRights[] = 'bot';
+   }
+   }
if ( isset( $this->params['pages'] ) ) {
// Old calling style for b/c
foreach ( $this->params['pages'] as $current => $target 
) {
diff --git a/includes/LocalRenameJob/LocalRenameUserJob.php 
b/includes/LocalRenameJob/LocalRenameUserJob.php
index 0aaf34f..b47cc04 100644
--- a/includes/LocalRenameJob/LocalRenameUserJob.php
+++ b/includes/LocalRenameJob/LocalRenameUserJob.php
@@ -154,6 +154,7 @@
'from' => $from,
'renamer' => $this->getRenameUser()->getName(),
'suppressredirects' => 
$this->params['suppressredirects'],
+   'moveasbot' => $this->params['moveasbot'],
];
if ( isset( $this->params['session'] ) ) {
$jobParams['session'] = $this->params['session'];
diff --git a/includes/specials/SpecialGlobalRenameQueue.php 
b/includes/specials/SpecialGlobalRenameQueue.php
index 36a5a92..935fbb5 100644
--- a/includes/specials/SpecialGlobalRenameQueue.php
+++ b/includes/specials/SpecialGlobalRenameQueue.php
@@ -346,6 +346,12 @@
'label-message' => 
'globalrenamequeue-request-suppressredirects',
'type'  => 'check',
],
+   'moveasbot' => [
+   'id'=> 
'mw-renamequeue-moveasbot',
+   'name'  => 'moveasbot',
+   'label-message' =>

[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: Iefecd32fd3cd7afcefe9b6be1c90c339fe373fc8
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 5e4002d..f5b2cdb 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -18,20 +18,22 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
eslint: {
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372729
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iefecd32fd3cd7afcefe9b6be1c90c339fe373fc8
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/TocTree
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I283f50894f2c55e6059144772fbcd961b42c4d18
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index eead5dc..7e1bc55 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -15,7 +15,8 @@
'!MwEmbedModules/**',
'!resources/videojs*/**',
'!resources/mw-info-button/**',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
@@ -27,7 +28,8 @@
'!MwEmbedModules/**',
'!resources/videojs*/**',
'!resources/mw-info-button/**',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: {
@@ -39,7 +41,8 @@
all: [
'*.json',
'**/*.json',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
exec: {

-- 
To view, visit https://gerrit.wikimedia.org/r/372728
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I283f50894f2c55e6059144772fbcd961b42c4d18
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/TimedMediaHandler
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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

- some pep8
- replace deprecated methods
- fix tests

https://de.wikipedia.org/wiki/Benutzer:Xqbot/D%C3%9CP-Log

Change-Id: Iccde5dc164c1383bee3e0ec95127290576ceb52f
---
M imagereview.py
M tests/imagereview_tests.py
2 files changed, 90 insertions(+), 83 deletions(-)

Approvals:
  jenkins-bot: Verified
  Xqt: Looks good to me, approved



diff --git a/imagereview.py b/imagereview.py
index 268fec2..0bfebad 100644
--- a/imagereview.py
+++ b/imagereview.py
@@ -11,20 +11,20 @@
 
 The following parameters are supported:
 
--always   Do not ask for writing a page, always do it
+-always  Do not ask for writing a page, always do it
 
--checkImage review processing
+-check   Image review processing
 
--list Create a list of unused files listed at
-  
[[Kategorie:Wikipedia:Dateiüberprüfung/Gültige_Problemangabe]]
-  sorted by upload timestamp
+-listCreate a list of unused files listed at
+ [[Kategorie:Wikipedia:Dateiüberprüfung/Gültige_Problemangabe]]
+ sorted by upload timestamp
 
--review   Look for previous usage of an image write a hint to the talk
-  page
+-review  Look for previous usage of an image write a hint to the talk
+ page
 
--touchTouch every category to update its content
+-touch   Touch every category to update its content
 
--total:   Only check the given number of files
+-total:  Only check the given number of files
 
 """
 from __future__ import absolute_import, print_function, unicode_literals
@@ -32,8 +32,6 @@
 # (C) xqt, 2012-2017
 #
 # Distributed under the terms of the MIT license.
-#
-__version__ = '$Id: ad511bf05dad0151d2526eb3f1b48be67e15b440 $'
 #
 
 import copy
@@ -59,35 +57,35 @@
 u' [[Wikipedia:Dateiüberprüfung/1923]] einleiten und den Sachverhalt'
 u' und die Nachweise darlegen.',
 'Freigabe':
-u"'''Freigabe:'''"
-u' Du brauchst eine Erlaubnis, wenn du eine urheberrechtlich 
geschützte'
-u' Datei hochlädst. Um eine solche Erlaubnis zu formulieren, bieten 
wir'
-u' einen Online-Assistenten unter https://wmts.dabpunkt.eu/freigabe3/'
-u' an. Er hilft Dir, die passende Formulierung zu finden, egal ob Du'
-u' selbst der Urheber bist oder die Datei von einer anderen Person'
-u' geschaffen wurde.',
+"'''Freigabe:'''"
+' Du brauchst eine Erlaubnis, wenn du eine urheberrechtlich geschützte'
+' Datei hochlädst. Um eine solche Erlaubnis zu formulieren, bieten wir'
+' einen Online-Assistenten unter https://wmts.dabpunkt.eu/freigabe3/'
+' an. Er hilft Dir, die passende Formulierung zu finden, egal ob Du'
+' selbst der Urheber bist oder die Datei von einer anderen Person'
+' geschaffen wurde.',
 'Gezeigtes Werk':
-u"'''Gezeigtes Werk:'''"
-u' Um ein Foto, das ein urheberrechtlich geschütztes Werk einer 
anderen'
-u' Person (z.B. ein Foto eines Plakats oder eine Nachzeichnung'
-u' eines Gemäldes) zeigt, hochzuladen brauchst du eine Erlaubnis. 
Bitte'
-u' den Urheber um eine solche Erlaubnis wie'
-u' [[WP:TV#Freigabe gezeigtes Werk|hier]] beschrieben. Das ist'
-u' nicht nötig, wenn sich das gezeigte Werk dauerhaft im öffentlichen'
-u' Verkehrsraum befindet (z.B. in einem öffentlichen Park), gib'
-u' dies auf der Dateibeschreibungsseite dann mit an.',
+"'''Gezeigtes Werk:'''"
+' Um ein Foto, das ein urheberrechtlich geschütztes Werk einer anderen'
+' Person (z.B. ein Foto eines Plakats oder eine Nachzeichnung'
+' eines Gemäldes) zeigt, hochzuladen brauchst du eine Erlaubnis. Bitte'
+' den Urheber um eine solche Erlaubnis wie'
+' [[WP:TV#Freigabe gezeigtes Werk|hier]] beschrieben. Das ist'
+' nicht nötig, wenn sich das gezeigte Werk dauerhaft im öffentlichen'
+' Verkehrsraum befindet (z.B. in einem öffentlichen Park), gib'
+' dies auf der Dateibeschreibungsseite dann mit an.',
 'Lizenz':
-u"'''Lizenz:'''"
-u' Eine Lizenz ist die Erlaubnis, eine Datei unter bestimmten'
-u' Bedingungen zu nutzen. In der deutschsprachigen Wikipedia werden 
nur'
-u' solche Dateien akzeptiert, die unter einer freien Lizenz stehen,'
-u" die '''[[Wikipedia:Lizenzvorlagen für Bilder|hier]]''' gelistet"
-u' sind. Unser Online-Assistent unter'
-u' https://wmts.dabpunkt.eu/freigabe3/ hilft Dir, eine passende Lizenz'
-u' auszuwählen und den Text für Dich anzupassen. Wenn du der Urheber'
-u' der

[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: Id1527a69f983e5218a67a5c88d8b07830a8a6384
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 5cc0c67..3215194 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -31,7 +31,7 @@
banana: conf.MessagesDirs,
watch: {
files: [
-   '.{stylelintrc,eslintrc.json}',
+   '.{stylelintrc,eslintrc}.json',
'<%= eslint.all %>',
'<%= stylelint.all %>'
],

-- 
To view, visit https://gerrit.wikimedia.org/r/372732
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id1527a69f983e5218a67a5c88d8b07830a8a6384
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/UploadWizard
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I7bc36b940f755b3b4b7df9ecfdab17e75c20ce14
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index f0c5c90..d0db1d9 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -34,14 +34,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.less',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372733
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I7bc36b940f755b3b4b7df9ecfdab17e75c20ce14
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/UrlShortener
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I1f9168e56bdb1cc9c9220bda7e118501ff64277e
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index e14446d..1d3a677 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -24,7 +24,6 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]

-- 
To view, visit https://gerrit.wikimedia.org/r/372737
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I1f9168e56bdb1cc9c9220bda7e118501ff64277e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikiLove
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I49ec30cf252c1f1e42d4c89d6203157350818ee5
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 573c373..bbfb0ad 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -19,7 +19,6 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]

-- 
To view, visit https://gerrit.wikimedia.org/r/372739
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I49ec30cf252c1f1e42d4c89d6203157350818ee5
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikibaseQuality
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ic4139987d8414646059c882f413ec483da759029
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 742d95e..376bb02 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -10,7 +10,8 @@
eslint: {
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
@@ -19,14 +20,16 @@
},
all: [
'**/*.less',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: conf.MessagesDirs,
jsonlint: {
all: [
'**/*.json',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372736
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic4139987d8414646059c882f413ec483da759029
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikiEditor
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ib4a91689ff5435959df8a43383b781822ca50839
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index b36a87b..c9b1c13 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -15,15 +15,16 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
'!modules/jquery.ucompare/**',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372734
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ib4a91689ff5435959df8a43383b781822ca50839
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/VipsScaler
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I3d79c25c15a905647272825ae9774c097af49174
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index b64ac99..1143ef9 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -16,7 +16,6 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor**'
]

-- 
To view, visit https://gerrit.wikimedia.org/r/372738
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I3d79c25c15a905647272825ae9774c097af49174
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikibaseMediaInfo
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Iebf1cf98fab5bf06150b70c17250f5bb4a470647
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 10f645a..a46421f 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -20,7 +20,6 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]

-- 
To view, visit https://gerrit.wikimedia.org/r/372740
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iebf1cf98fab5bf06150b70c17250f5bb4a470647
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikibaseQualityConstraints
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ib16e750fdc0bc0b642d0e717f0334683e98f97e8
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 6b26cac..200c69f 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -22,7 +22,6 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]

-- 
To view, visit https://gerrit.wikimedia.org/r/372745
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ib16e750fdc0bc0b642d0e717f0334683e98f97e8
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaEvents
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I1aac403d589fe88c3e9a1bb2efc2518e0c5649c7
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index d42eed8..11b9428 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -19,14 +19,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372746
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I1aac403d589fe88c3e9a1bb2efc2518e0c5649c7
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaIncubator
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ic8866a14ad3894dece5968afeffda678696baef6
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 6ad3e87..9eeadfb 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -21,7 +21,6 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]

-- 
To view, visit https://gerrit.wikimedia.org/r/372741
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic8866a14ad3894dece5968afeffda678696baef6
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikibaseQualityExternalValidation
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I7f77a7b1703df727f90bd897f110daa37a486c30
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 8894c36..19b8dc2 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -17,7 +17,6 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]

-- 
To view, visit https://gerrit.wikimedia.org/r/372742
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I7f77a7b1703df727f90bd897f110daa37a486c30
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikidata.org
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Idcfb72ec434cba2a1fc035d2a318e374f0353b96
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 7bdf096..6d6cc23 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -12,7 +12,6 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]

-- 
To view, visit https://gerrit.wikimedia.org/r/372747
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Idcfb72ec434cba2a1fc035d2a318e374f0353b96
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaMessages
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Icfd088ab0a719d59d164ddfb382c182c491ff823
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 0 insertions(+), 1 deletion(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 644fee3..47a4da1 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -17,7 +17,6 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
'!node_modules/**',
'!vendor/**'
]

-- 
To view, visit https://gerrit.wikimedia.org/r/372744
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Icfd088ab0a719d59d164ddfb382c182c491ff823
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikimediaBadges
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I1d100690ddb5f5ee77ac3aa8799690d8753ad938
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 5 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index ebd674b..6d7b898 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -13,20 +13,22 @@
eslint: {
all: [
'!node_modules/**',
+   '!vendor/**',
'resources/**/*.js'
]
},
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.less',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372743
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I1d100690ddb5f5ee77ac3aa8799690d8753ad938
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/WikidataPageBanner
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I99dd48f7ad11c794a6d8ca934e0ffbe7aa9c9013
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 3 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 981072a..f2d6f3b 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -26,12 +26,12 @@
all: [
'*.json',
'**/*.json',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
options: {
-   configFile: '.stylelintrc',
formatter: 'string',
ignoreDisables: false,
failOnError: true,
@@ -39,7 +39,7 @@
reportNeedlessDisables: false,
syntax: ''
},
-   all: 'modules/**/*.css'
+   all: 'modules/**/*.{css,less}'
}
} );
 

-- 
To view, visit https://gerrit.wikimedia.org/r/372748
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I99dd48f7ad11c794a6d8ca934e0ffbe7aa9c9013
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikispeech
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Id8410b92aadd81071160bba3378ccd4e8d89c55b
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 1b3d8bd..b9ba880 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -12,21 +12,23 @@
jshint: {
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
'**/*.less',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372749
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id8410b92aadd81071160bba3378ccd4e8d89c55b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ZeroBanner
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I1db3c224485335452bd533f7fe7a2d3694237d0c
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 4 insertions(+), 3 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index 0ce27d0..2ac1ee8 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -11,14 +11,15 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372751
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I1db3c224485335452bd533f7fe7a2d3694237d0c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/timeline
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ic2fb2f0990bb11c9d0059c981f1a5318a5ec5581
---
R .stylelintrc.json
1 file changed, 0 insertions(+), 0 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json

-- 
To view, visit https://gerrit.wikimedia.org/r/372752
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic2fb2f0990bb11c9d0059c981f1a5318a5ec5581
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/wikihiero
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: I93f10245fb028093887fb6da3a398f1d883e9261
---
R .stylelintrc.json
M Gruntfile.js
2 files changed, 6 insertions(+), 4 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/.stylelintrc b/.stylelintrc.json
similarity index 100%
rename from .stylelintrc
rename to .stylelintrc.json
diff --git a/Gruntfile.js b/Gruntfile.js
index e01040f..0fd849f 100644
--- a/Gruntfile.js
+++ b/Gruntfile.js
@@ -9,7 +9,8 @@
jshint: {
all: [
'**/*.js',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
banana: {
@@ -18,15 +19,16 @@
jsonlint: {
all: [
'**/*.json',
-   '.stylelintrc',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
},
stylelint: {
all: [
'**/*.css',
'**/*.less',
-   '!node_modules/**'
+   '!node_modules/**',
+   '!vendor/**'
]
}
} );

-- 
To view, visit https://gerrit.wikimedia.org/r/372750
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I93f10245fb028093887fb6da3a398f1d883e9261
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ZeroPortal
Gerrit-Branch: master
Gerrit-Owner: Umherirrender 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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 included in FOOTERS it won't be tested, so it's
better to first normalize the footer further by using BAD_FOOTERS and after
that use FOOTERS.

Change-Id: I9353d07d41a2d4428189e0cc6b0b06a324c817ce
---
M commit_message_validator/__init__.py
1 file changed, 4 insertions(+), 7 deletions(-)

Approvals:
  Legoktm: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/commit_message_validator/__init__.py 
b/commit_message_validator/__init__.py
index c6e69a5..43e228a 100644
--- a/commit_message_validator/__init__.py
+++ b/commit_message_validator/__init__.py
@@ -43,15 +43,12 @@
 'bug',
 'cc',
 'change-id',
-'closes',
 'co-authored-by',
 'depends-on',
-'fixes',
 'reported-by',
 'reviewed-by',
 'signed-off-by',
 'suggested-by',
-'task',
 'tested-by',
 'thanks',
 ]
@@ -135,6 +132,10 @@
 ws = m.group('ws')
 value = m.group('value')
 
+if normalized_name in BAD_FOOTERS:
+# Treat as the correct name for the rest of the rules
+normalized_name = BAD_FOOTERS[normalized_name]
+
 if normalized_name not in FOOTERS:
 if self._in_footers:
 yield "Unexpected line in footers"
@@ -146,10 +147,6 @@
 self._in_footers = True
 elif not self._in_footers:
 yield "Expected '{0}:' to be in footer".format(name)
-
-if normalized_name in BAD_FOOTERS:
-# Treat as the correct name for the rest of the rules
-normalized_name = BAD_FOOTERS[normalized_name]
 
 if normalized_name == 'bug':
 if name != 'Bug':

-- 
To view, visit https://gerrit.wikimedia.org/r/368515
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I9353d07d41a2d4428189e0cc6b0b06a324c817ce
Gerrit-PatchSet: 2
Gerrit-Project: integration/commit-message-validator
Gerrit-Branch: master
Gerrit-Owner: XZise 
Gerrit-Reviewer: BryanDavis 
Gerrit-Reviewer: Hashar 
Gerrit-Reviewer: Legoktm 
Gerrit-Reviewer: Paladox 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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
- replace deprecated methods

https://de.wikipedia.org/wiki/Benutzer:Xqbot/D%C3%9CP-Log

Change-Id: Iccde5dc164c1383bee3e0ec95127290576ceb52f
---
M imagereview.py
1 file changed, 81 insertions(+), 70 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/pywikibot/bots/xqbot 
refs/changes/70/372770/1

diff --git a/imagereview.py b/imagereview.py
index 268fec2..56fc0ed 100644
--- a/imagereview.py
+++ b/imagereview.py
@@ -11,20 +11,20 @@
 
 The following parameters are supported:
 
--always   Do not ask for writing a page, always do it
+-always  Do not ask for writing a page, always do it
 
--checkImage review processing
+-check   Image review processing
 
--list Create a list of unused files listed at
-  
[[Kategorie:Wikipedia:Dateiüberprüfung/Gültige_Problemangabe]]
-  sorted by upload timestamp
+-listCreate a list of unused files listed at
+ [[Kategorie:Wikipedia:Dateiüberprüfung/Gültige_Problemangabe]]
+ sorted by upload timestamp
 
--review   Look for previous usage of an image write a hint to the talk
-  page
+-review  Look for previous usage of an image write a hint to the talk
+ page
 
--touchTouch every category to update its content
+-touch   Touch every category to update its content
 
--total:   Only check the given number of files
+-total:  Only check the given number of files
 
 """
 from __future__ import absolute_import, print_function, unicode_literals
@@ -59,35 +59,35 @@
 u' [[Wikipedia:Dateiüberprüfung/1923]] einleiten und den Sachverhalt'
 u' und die Nachweise darlegen.',
 'Freigabe':
-u"'''Freigabe:'''"
-u' Du brauchst eine Erlaubnis, wenn du eine urheberrechtlich 
geschützte'
-u' Datei hochlädst. Um eine solche Erlaubnis zu formulieren, bieten 
wir'
-u' einen Online-Assistenten unter https://wmts.dabpunkt.eu/freigabe3/'
-u' an. Er hilft Dir, die passende Formulierung zu finden, egal ob Du'
-u' selbst der Urheber bist oder die Datei von einer anderen Person'
-u' geschaffen wurde.',
+"'''Freigabe:'''"
+' Du brauchst eine Erlaubnis, wenn du eine urheberrechtlich geschützte'
+' Datei hochlädst. Um eine solche Erlaubnis zu formulieren, bieten wir'
+' einen Online-Assistenten unter https://wmts.dabpunkt.eu/freigabe3/'
+' an. Er hilft Dir, die passende Formulierung zu finden, egal ob Du'
+' selbst der Urheber bist oder die Datei von einer anderen Person'
+' geschaffen wurde.',
 'Gezeigtes Werk':
-u"'''Gezeigtes Werk:'''"
-u' Um ein Foto, das ein urheberrechtlich geschütztes Werk einer 
anderen'
-u' Person (z.B. ein Foto eines Plakats oder eine Nachzeichnung'
-u' eines Gemäldes) zeigt, hochzuladen brauchst du eine Erlaubnis. 
Bitte'
-u' den Urheber um eine solche Erlaubnis wie'
-u' [[WP:TV#Freigabe gezeigtes Werk|hier]] beschrieben. Das ist'
-u' nicht nötig, wenn sich das gezeigte Werk dauerhaft im öffentlichen'
-u' Verkehrsraum befindet (z.B. in einem öffentlichen Park), gib'
-u' dies auf der Dateibeschreibungsseite dann mit an.',
+"'''Gezeigtes Werk:'''"
+' Um ein Foto, das ein urheberrechtlich geschütztes Werk einer anderen'
+' Person (z.B. ein Foto eines Plakats oder eine Nachzeichnung'
+' eines Gemäldes) zeigt, hochzuladen brauchst du eine Erlaubnis. Bitte'
+' den Urheber um eine solche Erlaubnis wie'
+' [[WP:TV#Freigabe gezeigtes Werk|hier]] beschrieben. Das ist'
+' nicht nötig, wenn sich das gezeigte Werk dauerhaft im öffentlichen'
+' Verkehrsraum befindet (z.B. in einem öffentlichen Park), gib'
+' dies auf der Dateibeschreibungsseite dann mit an.',
 'Lizenz':
-u"'''Lizenz:'''"
-u' Eine Lizenz ist die Erlaubnis, eine Datei unter bestimmten'
-u' Bedingungen zu nutzen. In der deutschsprachigen Wikipedia werden 
nur'
-u' solche Dateien akzeptiert, die unter einer freien Lizenz stehen,'
-u" die '''[[Wikipedia:Lizenzvorlagen für Bilder|hier]]''' gelistet"
-u' sind. Unser Online-Assistent unter'
-u' https://wmts.dabpunkt.eu/freigabe3/ hilft Dir, eine passende Lizenz'
-u' auszuwählen und den Text für Dich anzupassen. Wenn du der Urheber'
-u' der Datei oder der Inhaber der Nutzungsrechte bist, kannst Du ihn'
-u' benutzen, um den Text anschließend in die Dateibeschreibungsseite'
-u' einzufügen.',
+"'''Lizenz:'''"
+' Eine Lizenz ist

[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 version of extension registration, 
raising mimimum
MediaWiki version to 1.29. The ExtVariables class was transfered to it's own 
file as recommended.
Removed now unused functions like getDir() and the unneeded VERSION constant on 
the way.

Change-Id: I0a6f75da5d394cdc5a61f2d3902d671f10dbb090
---
M COPYING
M Variables.php
D Variables.settings.php
A Variables_body.php
A extension.json
M i18n/en.json
M i18n/qqq.json
7 files changed, 361 insertions(+), 405 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Variables 
refs/changes/69/372769/1

diff --git a/COPYING b/COPYING
index de01985..7e781f7 100644
--- a/COPYING
+++ b/COPYING
@@ -2,6 +2,7 @@
 Copyright (c) 2007by Tom Hempel
 Copyright (c) 2008by Xiloynaha
 Copyright (c) 2009 - 2012 by Daniel Werner < danwe...@web.de >
+Copyright (c) 2017by MGChecker < hgasu...@gmail.com >
 
 Permission to use, copy, modify, and/or distribute this software for any
 purpose with or without fee is hereby granted, provided that the above
diff --git a/Variables.php b/Variables.php
index 84d6c90..41eca66 100644
--- a/Variables.php
+++ b/Variables.php
@@ -1,375 +1,10 @@
 https://www.mediawiki.org/wiki/Extension:Variables
- * Support:   https://www.mediawiki.org/wiki/Extension_talk:Variables
- * Source code:   https://phabricator.wikimedia.org/diffusion/EVAR/
- *
- * @license: ISC License
- * @author: Rob Adams
- * @author: Tom Hempel
- * @author: Xiloynaha
- * @author: Daniel Werner < danwe...@web.de >
- *
- * @file Variables.php
- * @ingroup Variables
- */
-
-// Ensure that the script cannot be executed outside of MediaWiki.
-if ( !defined( 'MEDIAWIKI' ) ) {
-die( 'This is an extension to MediaWiki and cannot be run standalone.' );
-}
-
-// Display extension properties on MediaWiki.
-$wgExtensionCredits['parserhook'][] = array(
-   'path' => __FILE__,
-   'name' => 'Variables',
-   'descriptionmsg' => 'variables-desc',
-   'version' => ExtVariables::VERSION,
-   'author' => array(
-   'Rob Adams',
-   'Tom Hempel',
-   'Xiloynaha',
-   '[https://www.mediawiki.org/wiki/User:Danwe Daniel Werner]',
-   '...'
-   ),
-   'url' => 'https://www.mediawiki.org/wiki/Extension:Variables',
-   'license-name' => 'ISC'
-);
-
-// language files:
-$wgMessagesDirs['Variables'] = __DIR__ . '/i18n';
-$wgExtensionMessagesFiles['VariablesMagic'] = ExtVariables::getDir() . 
'/Variables.i18n.magic.php';
-
-// hooks registration:
-$wgHooks['ParserFirstCallInit'][] = 'ExtVariables::init';
-$wgHooks['ParserClearState'][] = 'ExtVariables::onParserClearState';
-$wgHooks['InternalParseBeforeSanitize'][] = 
'ExtVariables::onInternalParseBeforeSanitize';
-
-// parser tests registration:
-$wgParserTestFiles[] = ExtVariables::getDir() . 
'/tests/mwparsertests/Variables.txt';
-
-// Include the settings file:
-require_once ExtVariables::getDir() . '/Variables.settings.php';
-
-
-/**
- * Extension class with basic extension information. This class serves as 
static
- * class with the static parser functions but also als variables store instance
- * as object assigned to a Parser object.
- */
-class ExtVariables {
-
-   /**
-* Version of the 'Variables' extension.
-*
-* @since 1.4
-*
-* @var string
-*/
-   const VERSION = '2.2.0';
-
-   /**
-* Internal store for variable values
-*
-* @private
-* @var array
-*/
-   public $mVariables = array();
-
-   /**
-* Array with all names of variables requested by '#var_final'. Key of 
the values is the
-* stripSateId of the strip-item placed where the final var should 
appear.
-*
-* @since 2.0
-*
-* @private
-* @var array
-*/
-   public $mFinalizedVars = array();
-
-   /**
-* Variables extensions own private StripState manager to manage 
'#final_var' placeholders
-* and their replacement with the final var value or a defined default.
-*
-* @since 2.0
-*
-* @private
-* @var StripState
-*/
-   public $mFinalizedVarsStripState;
-
-   /**
-* Sets up parser functions
-*
-* @since 1.4
-*/
-   public static function init( Parser &$parser ) {
-
-   /*
-* store for variables per parser object. This will solve 
several bugs related to
-* 'ParserClearState' hook clearing all variables early in 
combination with certain
-* other extensions. (since v2.0)
-*/
-

[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

Bug: T173633
Change-Id: I50678be8bec8d33bc41fd454a63b6caa5c0d1603
---
M wmf-config/InitialiseSettings.php
1 file changed, 6 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/68/372768/1

diff --git a/wmf-config/InitialiseSettings.php 
b/wmf-config/InitialiseSettings.php
index aa4287b..f4b64b7 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -12881,6 +12881,9 @@
'eswikibooks' => [
'default' => 0.30, // T145765
],
+   'metawiki' => [
+   'default' => 0.30 // T173633
+   ],
 ],
 'wmgAbuseFilterEmergencyDisableCount' => [
'default' => [
@@ -12895,6 +12898,9 @@
'commonswiki' => [ // T87431
'default' => 25,
],
+   'metawiki' => [
+   'default' => 25, // T173633
+   ],
 ],
 'wmgAbuseFilterEmergencyDisableAge' => [
'default' => [

-- 
To view, visit https://gerrit.wikimedia.org/r/372768
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I50678be8bec8d33bc41fd454a63b6caa5c0d1603
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: MarcoAurelio 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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 options are available

Bug: T144705
Bug: T148662
Change-Id: I7d6b563e32039e7313121de9629f02ad4f02d351
(cherry picked from commit 183f0bd5e382ae67707a4829c482649e1fa83bf9)
---
M includes/specialpage/LoginSignupSpecialPage.php
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/67/372767/1

diff --git a/includes/specialpage/LoginSignupSpecialPage.php 
b/includes/specialpage/LoginSignupSpecialPage.php
index 1e6bdc7..76e1748 100644
--- a/includes/specialpage/LoginSignupSpecialPage.php
+++ b/includes/specialpage/LoginSignupSpecialPage.php
@@ -704,7 +704,7 @@
 
if ( !$this->isSignup() && $this->showExtraInformation() ) {
$passwordReset = new PasswordReset( $this->getConfig(), 
AuthManager::singleton() );
-   if ( $passwordReset->isAllowed( $this->getUser() ) ) {
+   if ( $passwordReset->isAllowed( $this->getUser() 
)->isGood() ) {
$form->addFooterText( Html::rawElement(
'div',
[ 'class' => 'mw-ui-vform-field 
mw-form-related-link-container' ],

-- 
To view, visit https://gerrit.wikimedia.org/r/372767
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I7d6b563e32039e7313121de9629f02ad4f02d351
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: REL1_27
Gerrit-Owner: Florianschmidtwelzow 
Gerrit-Reviewer: Huji 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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 not really necessary and can cause problems if the local
wiki has no tables on the given database.

Bug: T172559
Change-Id: I77c1238bb59b9c060bdec22aa2f7f758e07b748c
---
M includes/libs/rdbms/loadmonitor/LoadMonitor.php
1 file changed, 1 insertion(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/66/372766/1

diff --git a/includes/libs/rdbms/loadmonitor/LoadMonitor.php 
b/includes/libs/rdbms/loadmonitor/LoadMonitor.php
index d4e73c9..1749683 100644
--- a/includes/libs/rdbms/loadmonitor/LoadMonitor.php
+++ b/includes/libs/rdbms/loadmonitor/LoadMonitor.php
@@ -146,7 +146,7 @@
if ( $conn ) {
$close = false; // already open
} else {
-   $conn = $this->parent->openConnection( $i, 
$domain );
+   $conn = $this->parent->openConnection( $i, '' );
$close = true; // new connection
}
 

-- 
To view, visit https://gerrit.wikimedia.org/r/372766
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I77c1238bb59b9c060bdec22aa2f7f758e07b748c
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Aaron Schulz 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[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: Ia35d5da82a42d9bc7af2f3a97920ad5dd61c11b1
---
M locales/en.yml
M locales/fr.yml
M source/layouts/layout.erb
3 files changed, 7 insertions(+), 1 deletion(-)


  git pull ssh://gerrit.wikimedia.org:29418/wikimedia/TransparencyReport 
refs/changes/65/372765/1

diff --git a/locales/en.yml b/locales/en.yml
index c8e8f7c..db43b3a 100644
--- a/locales/en.yml
+++ b/locales/en.yml
@@ -1,6 +1,9 @@
 ---
 en:
 
+  language:
+code: "en"
+
   yn:
 yess: "Yes"
 noo: "No"
diff --git a/locales/fr.yml b/locales/fr.yml
index 8cc73c3..0e9858d 100644
--- a/locales/fr.yml
+++ b/locales/fr.yml
@@ -1,6 +1,9 @@
 ---
 fr:
 
+  language:
+code: "fr"
+
   yn:
 yess: "Oui"
 noo: "Non"
diff --git a/source/layouts/layout.erb b/source/layouts/layout.erb
index bb677a9..ffbc700 100644
--- a/source/layouts/layout.erb
+++ b/source/layouts/layout.erb
@@ -1,5 +1,5 @@
 
-
+




-- 
To view, visit https://gerrit.wikimedia.org/r/372765
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ia35d5da82a42d9bc7af2f3a97920ad5dd61c11b1
Gerrit-PatchSet: 1
Gerrit-Project: wikimedia/TransparencyReport
Gerrit-Branch: master
Gerrit-Owner: VolkerE 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

1 2 3 >

1 - 100 of 238 matches

Mail list logo