working with php type hinting