Given this reference text, why and when did Coke use Splenda as a sweetener in diet Coke?

Pressure from Walmart pressured Coca-Cola to release a version of diet Coke sweetened with Splenda from 2005 until most distribution ended in 2009.