Searched refs:set_ps_title (Results 1 – 3 of 3) sorted by relevance
32 extern int set_ps_title(const char* new_str);
41 rc = set_ps_title(title); in PHP_FUNCTION()
329 int set_ps_title(const char* title) in set_ps_title() function
Completed in 10 milliseconds