PHP's dynamic typing, should it stay or should it go?

And this is the kind of typehinting that we will NOT need in PHP, not at all. Even in C# I never write code like in your example above, I will always use the ‘var’ keyword like this:

var credentials = new Credentials();

Modern programming languages such as C# and Swift all allow type inference nowadays, the need to declare variable type is redundant and makes code harder to read and to write. The reason why I find its such a headache to work with Java is that it forces you to declare every variable type explicitly.