Edited navigation (may need further tweaks)
Edited navigation (may need further tweaks)

(cherry picked from commit 105fe9a)

JetBrains/phpstorm-workshop,JetBrains/phpstorm-workshop,JetBrains/phpstorm-workshop,JetBrains/phpstorm-workshop