PHP documentation updated.