added highlight file (php) option: "_file"