jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/355401 )

Change subject: doc: Document statsvInstrumentation module
......................................................................


doc: Document statsvInstrumentation module

Bug: T158236
Change-Id: I138a1ef5305c0b49415d5f2a914ba45fd6aa869b
---
M resources/dist/index.js
M resources/dist/index.js.map
M src/statsvInstrumentation.js
3 files changed, 13 insertions(+), 10 deletions(-)

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




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

Gerrit-MessageType: merged
Gerrit-Change-Id: I138a1ef5305c0b49415d5f2a914ba45fd6aa869b
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Popups
Gerrit-Branch: master
Gerrit-Owner: Phuedx <[email protected]>
Gerrit-Reviewer: Bmansurov <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to