* WebSocket extension - Allows live connections between the server and other current clients * * See http://www.organicdesign.co.nz/Extension:WebSocket for details * * @file * @ingroup Extensions * @author Aran Dunkley [http://www.organicdesign.co.nz/aran Aran Dunkley] * @copyright © 2015 Aran Dunkley * @licence GNU General Public Licence 2.0 or later */ if (!defined('MEDIAWIKI')) { die('Not an entry point.'); } define('WEBSOCKET_VERSION', '1.2.1, 2015-04-28'); require __DIR__ . '/WebSocket.class.php'; require __DIR__ . '/WebSocketClient.class.php'; WebSocket::$port = 1729; # Port the WebSocket daemon will run on WebSocket::$rewrite = false; # Configure URL rewriting so that the WebSocket port doesn't need to be public WebSocket::$perl = '/usr/bin/perl'; # Location of the Perl interpreter WebSocket::$log = false; # Set a file location to log WebSocket daemon events and errors WebSocket::$ssl_cert = false; # If the wiki uses SSL, then the WebSocket will need to know the certificate file, WebSocket::$ssl_key = false; # and the SSL key file $wgExtensionCredits['other'][] = array('path' => __FILE__, 'name' => 'WebSocket', 'author' => '[http://www.organicdesign.co.nz/aran Aran Dunkley]', 'url' => 'http://www.organicdesign.co.nz/Extension:WebSocket', 'descriptionmsg' => 'websocket-desc', 'version' => WEBSOCKET_VERSION); $wgExtensionMessagesFiles['WebSocket'] = __DIR__ . '/WebSocket.i18n.php'; new WebSocket();