Stub generator for PHP extensions, as used with IDE integration