Merge pull request #1136 from noplanman/min_php_7.2
Move to PHP 7.2+, fix up all strict variable and parameter types
Description
Description
Details
Details
- Provenance
Armando Lüscher Authored on Nov 11 2020, 7:04 PM GitHub Committed on Nov 11 2020, 7:04 PM - Parents
- R123:ef82a0ecbb15: Merge branch 'upstream/develop' into min_php_7.2
R123:728003ff5be9: Merge pull request #1139 from dva-re/master - Branches
- Unknown
- Tags
Event Timeline
Merged Changes
Merged Changes