Developer credits
Git commits in Moodle 3.8.5 by Michael Hawkins
commit 0425db5a800b91bf3d7fe755033c9b542729d61c Author: Michael Hawkins <michaelh@moodle.com> Date: Tue, 04 Aug 2020 18:04:27 +0800 Tag: v3.8.5 MDL-69340 tag: Correct the filter input HTML in the tag manager