plugins/mod_pep.lua
changeset 11728 86e68c0a4f05
parent 11726 bc2d3f110a39
child 11858 b605cbd5f13b
equal deleted inserted replaced
11727:3ead0967e04d 11728:86e68c0a4f05
     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";