[tor-commits] [flashproxy/master] Remove unused get_param_timespec.