EET extensions for PHP