playing about with php extension