[MediaWiki-commits] [Gerrit] mediawiki/event-schemas[master]: Return back the possibility to have a performer

2016-10-13 Thread Mobrovac (Code Review)
Mobrovac has submitted this change and it was merged.

Change subject: Return back the possibility to have a performer
..


Return back the possibility to have a performer

Change-Id: Ibda1387dd8591f66044c89a561ec3eb8336f8e8e
---
M jsonschema/mediawiki/page/properties-change/1.yaml
1 file changed, 28 insertions(+), 0 deletions(-)

Approvals:
  Mobrovac: Verified; Looks good to me, approved



diff --git a/jsonschema/mediawiki/page/properties-change/1.yaml 
b/jsonschema/mediawiki/page/properties-change/1.yaml
index 5c938c9..6701b55 100644
--- a/jsonschema/mediawiki/page/properties-change/1.yaml
+++ b/jsonschema/mediawiki/page/properties-change/1.yaml
@@ -49,6 +49,34 @@
 description: The name of the wiki database this event belongs to.
 type: string
 
+  performer:
+description: Represents the user that performed this change.
+type: object
+properties:
+  user_id:
+description: >
+  The user id that performed this change.  This is optional, and
+  will not be present for anonymous users.
+type: integer
+  user_text:
+description: The text representation of the user that performed this 
change.
+type: string
+  user_groups:
+description: A list of the groups this user belongs to.  E.g. bot, 
sysop etc.
+type: array
+items:
+  type: string
+  user_is_bot:
+description: >
+  True if this user is considered to be a bot.  This is checked
+  via the $user->isBot() method, which considers both user_groups
+  and user permissions.
+type: boolean
+required:
+  - user_text
+  - user_groups
+  - user_is_bot
+
   ### page entity fields - all page related events should have these.
   page_id:
 description: The page ID of the page which properties has been changed.

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ibda1387dd8591f66044c89a561ec3eb8336f8e8e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/event-schemas
Gerrit-Branch: master
Gerrit-Owner: Ppchelko 
Gerrit-Reviewer: Mobrovac 
Gerrit-Reviewer: Ottomata 
Gerrit-Reviewer: Ppchelko 
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/event-schemas[master]: Return back the possibility to have a performer

2016-10-13 Thread Ppchelko (Code Review)
Ppchelko has uploaded a new change for review.

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

Change subject: Return back the possibility to have a performer
..

Return back the possibility to have a performer

Change-Id: Ibda1387dd8591f66044c89a561ec3eb8336f8e8e
---
M jsonschema/mediawiki/page/properties-change/1.yaml
1 file changed, 28 insertions(+), 0 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/event-schemas 
refs/changes/16/315716/1

diff --git a/jsonschema/mediawiki/page/properties-change/1.yaml 
b/jsonschema/mediawiki/page/properties-change/1.yaml
index 5c938c9..6701b55 100644
--- a/jsonschema/mediawiki/page/properties-change/1.yaml
+++ b/jsonschema/mediawiki/page/properties-change/1.yaml
@@ -49,6 +49,34 @@
 description: The name of the wiki database this event belongs to.
 type: string
 
+  performer:
+description: Represents the user that performed this change.
+type: object
+properties:
+  user_id:
+description: >
+  The user id that performed this change.  This is optional, and
+  will not be present for anonymous users.
+type: integer
+  user_text:
+description: The text representation of the user that performed this 
change.
+type: string
+  user_groups:
+description: A list of the groups this user belongs to.  E.g. bot, 
sysop etc.
+type: array
+items:
+  type: string
+  user_is_bot:
+description: >
+  True if this user is considered to be a bot.  This is checked
+  via the $user->isBot() method, which considers both user_groups
+  and user permissions.
+type: boolean
+required:
+  - user_text
+  - user_groups
+  - user_is_bot
+
   ### page entity fields - all page related events should have these.
   page_id:
 description: The page ID of the page which properties has been changed.

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ibda1387dd8591f66044c89a561ec3eb8336f8e8e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/event-schemas
Gerrit-Branch: master
Gerrit-Owner: Ppchelko 

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