Apparently DuckDuckGo has a low opinion of the new PHP release