Cansei de ficar substituindo arquivos toda vez que crio um novo site utilizando o Developer Toolbox, então criei esse arquivo que resolve o problema de forma definitiva, nada de substituição manual, tudo automático. Segue link para download:
Patch ADDT para PHP 5.3 ou superior
¹ Ele não substitui os arquivos do site, substitui os arquivos do Developer Toolbox
² Talvez apareça uma mensagem perguntando se você deseja substituir um arquivo qualquer é só clicar em “Sim para todos”