Phuedx has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/398293 )
Change subject: instrumentation: Bump schema revision ...................................................................... instrumentation: Bump schema revision Following on from I6643168a, the client-side JSONSchema validation does handle the integer type [0] so we can enforce that timestamps are integers on the client as well as on the server. [0] https://github.com/wikimedia/mediawiki-extensions-EventLogging/blob/3d0837e5/modules/ext.eventLogging.core.js#L102-L103 Bug: T182000 Change-Id: I79af7975388d50a570e209b212c0c90322e4a23a --- M extension.json 1 file changed, 1 insertion(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Popups refs/changes/93/398293/1 diff --git a/extension.json b/extension.json index bab24f1..dee6d0c 100644 --- a/extension.json +++ b/extension.json @@ -53,7 +53,7 @@ ] }, "EventLoggingSchemas": { - "Popups": 17430287 + "Popups": 17540736 }, "config": { "@PopupsBetaFeature": "@var bool: Whether the extension should be enabled as an opt-in beta feature. If true, the BetaFeatures extension must be installed. False by default.", -- To view, visit https://gerrit.wikimedia.org/r/398293 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I79af7975388d50a570e209b212c0c90322e4a23a Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Popups Gerrit-Branch: master Gerrit-Owner: Phuedx <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
