Phpstorm Key Github Fix May 2026