Earlier quoted context omitted.
Cocaine was never a coca-cola ingredient. The intro to the article exaggerates for narrative effect. Coca leaf was, and still is, an ingredient in coca-cola. So both cocaine and coca-cola are made with coca leaf, but coca-cola is not and never has been made with cocaine.
The only official DEA source I can find for the fact that coca leaf extract is still used to make Coca Cola is the museum page on coca: https://museum.dea.gov/exhibits/online-exhibits/cannabis-coc... The funny thing is that the slideshow at the bottom of the page gives anyone with even a limited knowledge of alkali extraction (like DMT acid-base) everything they need to know about extracting cocaine.
https://www.nytimes.com/1988/07/01/business/how-coca-cola-ob...