3.1.8
ccf0513a · Issue #3366523 by basvredeling: remove mixed typehints because they are not compatible with php 7 ·