wtfphp no scaler type hinting