updated PHP documentation