PHP: Shift-Click now provides a quick jump