@Findus23 opened this Pull Request on November 2nd 2020 Member

mostly reverts #14011 now that PHP 5 support is no longer needed

This Pull Request was closed on November 2nd 2020
Powered by GitHub Issue Mirror