Add information about PHP-CPP extension