PHP extension generator from PHP