Update git submodules

jenkins-bot · Gerrit Code Review · commit 5aebed80bd89 · 2022-11-01T10:32:37.000Z
* Update DiscussionTools from branch 'master'
  to 422e9aabf2a193f654d90bb39704a2057a11c908
  - Merge "Use PHP 7.4 property types"
  - Use PHP 7.4 property types
    
    Change-Id: I788db64f0c0c00894d77256b7f016d44eda4bbb1
diff --git a/DiscussionTools b/DiscussionTools
@@ -1 +1 @@
-Subproject commit f039a2ac07a9e445477b20636f77da5402c77e5f
+Subproject commit 422e9aabf2a193f654d90bb39704a2057a11c908
