Searched refs:html_color_to_RGB (Results 1 – 2 of 2) sorted by last modified time
129 else $background = html_color_to_RGB($background);144 else $colors[$name] = html_color_to_RGB($line_color);
35 function html_color_to_RGB($color) { function