Searched refs:options_list (Results 1 – 2 of 2) sorted by relevance
189 $options_list = [ "--$option_name" ]; variable191 $options_list[] = "-" . $desc['short'];193 $settings[$option_name]['options_list'] = $options_list;
268 $options_list = explode(' ', $options); //explode options in an array270 foreach($options_list as $optid => $option){ //going through the options to clean and pretreat272 unset($options_list[$optid]); //...278 foreach($options_list as $option){ //going through the options to treat them