WebSocketServer.php,BasicMigrations,jQueryInit