Posted from @jetbrains plugin: Can you tell what @php version is this ?
https://github.com/hbenabdallah/devnull-jetbrains…
GitHubGitHub - hbenabdallah/devnull-jetbrainsContribute to hbenabdallah/devnull-jetbrains development by creating an account on GitHub.