<?phpnamespace App;use JumPHP\Tauri\App;use JumPHP\Tauri\AppMain;/** * JumPHP Screen, PHP side: almost nothing. The page (ui/js/app.js) does the work in the browser: the encrypted pairing channel * (ui/js/channel.js, the same file as the JumPHP IDE's), WebRTC (the browser's RTCPeerConnection: the video and the input data * channel go peer to peer with the PC), the touch gestures and the keyboard. PHP only tells the page its settings. */final class Main implements AppMain{ public const RELAY = 'wss://jumphp.net/ide-relay/ws'; public function boot(App $app): void { $app->command('settings', fn (mixed $p): array => [ 'relay_url' => (string)($app->config->get('screen_relay_url') ?? self::RELAY), 'version' => (string)$app->config->get('version'), ]); }}