added ctrl-l command for php lint