Refactor/rename messaging contribution push param#10996

harbin1053020115 wants to merge 5 commits intoeclipse-theia:mastereclipse-theia/theia:masterfrom

harbin1053020115:refactor/rename-messaging-contribution-push-paramharbin1053020115/theia:refactor/rename-messaging-contribution-push-paramCopy head branch name to clipboard