update docs for php extensions