change php syntax check hotkey