← All built-ins / ui_title()
ui_title()
ui_title(...$args): int
Parameters
| Name | Type | Description |
|---|---|---|
| $handle | int | window handle |
| $title | string | new title |
Return value
Sets the window title.
Example
echo "ui_title($win, "New title");";
ui_title($win, "New title");
This call needs a real environment (window, server, database or stdin) — the snippet above shows the typical usage shape.