diff options
| author | Max Hilbrunner <mhilbrunner@users.noreply.github.com> | 2018-05-09 01:41:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-09 01:41:01 +0200 |
| commit | e744d12e568c22d2f260eee15fc9b2cade3dcdd8 (patch) | |
| tree | 06c480ec011f817af8733a1208f20b7aa1fd391b /modules/websocket/config.py | |
| parent | 9a22a835f6527af3f2165ee048c875cd2ce6b2cf (diff) | |
| parent | dd546dc5b86e0bb9c397919fd8bfcf8e8460bc38 (diff) | |
Merge pull request #18709 from Faless/multiplayer_docs
Rename multiplayer_api to multiplayer, add docs
Diffstat (limited to 'modules/websocket/config.py')
| -rw-r--r-- | modules/websocket/config.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/modules/websocket/config.py b/modules/websocket/config.py index fb920482f5..399ca88fc1 100644 --- a/modules/websocket/config.py +++ b/modules/websocket/config.py @@ -5,3 +5,14 @@ def can_build(platform): def configure(env): pass + +def get_doc_classes(): + return [ + "WebSocketClient", + "WebSocketMultiplayerPeer", + "WebSocketPeer", + "WebSocketServer" + ] + +def get_doc_path(): + return "doc_classes" |