[12:21:43] <wikibugs>	 (PS4) Amr El-Absy: Replace FancyTree with jsTree [extensions/PageForms] - https://gerrit.wikimedia.org/r/609501 (https://phabricator.wikimedia.org/T248505)
[14:45:29] <wikibugs>	 (CR) Yaron Koren: [C: +2] Ignore unregistered users with "current user" default value [extensions/PageForms] - https://gerrit.wikimedia.org/r/609492 (owner: Pastakhov)
[14:48:58] <wikibugs>	 (Merged) jenkins-bot: Ignore unregistered users with "current user" default value [extensions/PageForms] - https://gerrit.wikimedia.org/r/609492 (owner: Pastakhov)
[18:35:51] <wikibugs>	 (PS5) Amr El-Absy: Replace FancyTree with jsTree [extensions/PageForms] - https://gerrit.wikimedia.org/r/609501 (https://phabricator.wikimedia.org/T248505)