add php-extension note