Make Ace-jump PHP Storm-compatible.