Replace PHP5ts.dll with a vanilla PHP5.dll (currently 5.4.26). (Git logs it as a rename, which makes me wonder... :-o )