correct php type