Skip to content
Minor bug fixes, mostly from testing with php 7.x on toolforge.  See merge request 3 for more details: https://gitlab.wikimedia.org/repos/security/semgrep-merge-tool/-/merge_requests/3