sample php extension