Update the atoum URL in the english PHP documentation