I've read the instructions, but when I add the ADS PHP Extension into the php.ini file, I don't even get an error, and I deliberately chose a wrong version. Any help would be appreciated.