Working with elements inside $_SERVER

[pereorga]

What should be the preferred way to tell phpstan that $_SERVER['REQUEST_URI'] is a string, rather than mixed? For example here:

https://phpstan.org/r/a0b92a7e-d3e9-497f-b882-01fc99e22a36

In my use case, I know$_SERVER['REQUEST_URI'] will be set by the web server and that it will be a non-empty string.

Should I write a stub? I've tried defining types$_SERVER in a documentation block, but that doesn't seem to work.

[ondrejmirtes]

These global variables are currently defined as array<string, mixed>: https://github.com/phpstan/phpstan-src/blob/da8413c493cbb9d800228f996836207e9598920c/src/Analyser/MutatingScope.php#L506

There's no way to override that.

Typically, in modern code today, you don't directly access those variables, but instead use a framework that does it for you. Or simply ask for string $requestUri in your function.

[pereorga]

@ondrejmirtes thank you, I appreciate the quick response as I tried to search for and answer to this, and I couldn't find it.

Typically, in modern code today, you don't directly access those variables, but instead use a framework that does it for you.

I know. Although I still think that for small websites, not using a framework is a better approach: there is less overhead and there are fewer dependencies to maintain. I still use phpstan / phan / psalm in these simple projects, and they are still useful (even when I am not using OOP at all)

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.