Merge "registration: Allow ActionFilteredLogs to be modified by extensions"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Mon, 25 Apr 2016 06:28:10 +0000 (06:28 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Mon, 25 Apr 2016 06:28:10 +0000 (06:28 +0000)
commit7a0574a6a33ca7863dd4fcabe1fd17dfa7c8cb6e
tree12bb55feed3f48b077d294737e724d98020ee86d
parent2f885ee6b797e5a176ce7b270b674a04b5945b06
parent2093748e0757dcf9ad67e743b2df14b10354b15f
Merge "registration: Allow ActionFilteredLogs to be modified by extensions"
docs/extension.schema.json