2 Commits

Include renames

Author	SHA1	Message	Date
Aleksander Grygier	0021a77de0	ui: Refactor Built-In Tools naming (Server/Browser) (#27271) ... * server: rename built-in tools to server tools * ui: rename built-in tools to server/browser tools	2026-08-17 22:23:22 +02:00
Xuan-Son NguyenandPascal	666f8898a2	ui: move get_datetime tool to frontend (#27255) ... * ui: move get_datetime tool to frontend * clarify docs * server: drop the now unused ctime include strftime() and gmtime_r() were the only users, both went away with the get_datetime tool. Also make the renderer's catch inert: the browser executor always emits JSON, so a non-JSON result is no longer a date to display. --------- Co-authored-by: Pascal <admin@serveurperso.com>	2026-08-17 14:33:55 +02:00