From 0282cf64a0879cce05a220e2435310161b3330f5 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Mon, 16 Apr 2018 18:14:07 +0200
Subject: [PATCH] mod_push: Add function specification

---
 src/mod_push.erl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mod_push.erl b/src/mod_push.erl
index 36687d18a..40cfaa625 100644
--- a/src/mod_push.erl
+++ b/src/mod_push.erl
@@ -134,6 +134,7 @@ mod_opt_type(O) when O == cache_life_time; O == cache_size ->
 mod_opt_type(O) when O == use_cache; O == cache_missed ->
     fun (B) when is_boolean(B) -> B end.
 
+-spec mod_options(binary()) -> [{atom(), any()}].
 mod_options(Host) ->
     [{db_type, ejabberd_config:default_db(Host, ?MODULE)},
      {use_cache, ejabberd_config:use_cache(Host)},