equal
deleted
inserted
replaced
4 local jid_join = require "util.jid".join; |
4 local jid_join = require "util.jid".join; |
5 local set_new = require "util.set".new; |
5 local set_new = require "util.set".new; |
6 local st = require "util.stanza"; |
6 local st = require "util.stanza"; |
7 local calculate_hash = require "util.caps".calculate_hash; |
7 local calculate_hash = require "util.caps".calculate_hash; |
8 local is_contact_subscribed = require "core.rostermanager".is_contact_subscribed; |
8 local is_contact_subscribed = require "core.rostermanager".is_contact_subscribed; |
9 local cache = require "util.cache"; |
|
10 local set = require "util.set"; |
9 local set = require "util.set"; |
11 local new_id = require "util.id".medium; |
10 local new_id = require "util.id".medium; |
12 local storagemanager = require "core.storagemanager"; |
11 local storagemanager = require "core.storagemanager"; |
13 |
12 |
14 local xmlns_pubsub = "http://jabber.org/protocol/pubsub"; |
13 local xmlns_pubsub = "http://jabber.org/protocol/pubsub"; |