[phpMyAdmin Developers] Question regarding fix of CVE 2020-26935 - SQL Injection via SearchController