Updated PHP documentation.