diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2022-08-28 20:27:45 +0200 |
|---|---|---|
| committer | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2022-08-29 11:52:00 +0200 |
| commit | d20b32186fc192f5e527a1211291b0cb293f4e66 (patch) | |
| tree | 20f5e9e84e10b68c318f576344a10a9fc63d235f /modules/websocket/remote_debugger_peer_websocket.h | |
| parent | 223e083d36ac1ca3f7aa46898d8870e476132f7a (diff) | |
[Web] Rename JavaScript platform to Web.
Also rename export name from "HTML5" to "Web".
Diffstat (limited to 'modules/websocket/remote_debugger_peer_websocket.h')
| -rw-r--r-- | modules/websocket/remote_debugger_peer_websocket.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/websocket/remote_debugger_peer_websocket.h b/modules/websocket/remote_debugger_peer_websocket.h index 3227065ded..a37a789cbe 100644 --- a/modules/websocket/remote_debugger_peer_websocket.h +++ b/modules/websocket/remote_debugger_peer_websocket.h @@ -33,7 +33,7 @@ #include "core/debugger/remote_debugger_peer.h" -#ifdef JAVASCRIPT_ENABLED +#ifdef WEB_ENABLED #include "emws_client.h" #else #include "wsl_client.h" |