Updated PHP documentation