Declaration of PHP extension classes and functions