[go: up one dir, main page]

Page MenuHomePhabricator

Add mediawiki.db_name to Metrics Platform Event schema
Closed, ResolvedPublic

Description

Mapping meta.domain to a project is fraught (but not impossible). To make it very simple to understand which wiki the performer was interacting with, we should capture the name of the wiki's database, $wgDBname. See also the discussion here.

Resources

  1. https://www.mediawiki.org/wiki/Manual:$wgDBname

Event Timeline

Change 777839 had a related patch set uploaded (by Phuedx; author: Phuedx):

[mediawiki/libs/metrics-platform@master] [PHP] Add mediawiki_db_name contextual attribute

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

Change 777840 had a related patch set uploaded (by Phuedx; author: Phuedx):

[mediawiki/libs/metrics-platform@master] [JS] Add mediawiki_db_name contextual attribute

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

Change 777844 had a related patch set uploaded (by Phuedx; author: Phuedx):

[schemas/event/secondary@master] mediawiki/client/metrics_event: Add mediawiki.db_name property

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

Change 777839 merged by jenkins-bot:

[mediawiki/libs/metrics-platform@master] [PHP] Add mediawiki_db_name contextual attribute

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

Change 777840 merged by jenkins-bot:

[mediawiki/libs/metrics-platform@master] [JS] Add mediawiki_db_name contextual attribute

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

Change 810297 had a related patch set uploaded (by Phuedx; author: Phuedx):

[mediawiki/libs/metrics-platform@master] [JS][PHP] mediawiki_db_name -> mediawiki_database

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

phuedx added a subscriber: cjming.

@cjming: I think that this task would be a good entry point into the Metrics Platform repository, specifically where the JS and PHP clients are similar and where they differ.

Change 777844 merged by jenkins-bot:

[schemas/event/secondary@master] mediawiki/client/metrics_event: Add mediawiki.database property

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

Change 810297 merged by jenkins-bot:

[mediawiki/libs/metrics-platform@master] [JS][PHP] mediawiki_db_name -> mediawiki_database

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

Change 838896 had a related patch set uploaded (by Clare Ming; author: Clare Ming):

[mediawiki/extensions/EventLogging@master] Update database property, foreign resources, schema number.

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

Change 838896 merged by jenkins-bot:

[mediawiki/extensions/EventLogging@master] Update database property, foreign resources, schema number.

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

☝️ https://gerrit.wikimedia.org/r/838896 was fully deployed by the end of last Thursday, 13th October 2022.

phuedx claimed this task.

Being bold.