Searched refs:set_ps_title (Results 1 – 3 of 3) sorted by relevance
28 extern int set_ps_title(const char* new_str);
36 rc = set_ps_title(title); in PHP_FUNCTION()
336 int set_ps_title(const char* title) in set_ps_title() function
Completed in 9 milliseconds