PHPのType_Hinting