# HG changeset patch # User Goffi # Date 1450195410 -3600 # Node ID 0dfabe746ec4fcadc9b58c7a30a491502a7ae417 # Parent 5ca3caefcf9861463cf763502145ed03711dea0e plugin extra_pep: replaced name by a short one diff -r 5ca3caefcf98 -r 0dfabe746ec4 src/plugins/plugin_misc_extra_pep.py --- a/src/plugins/plugin_misc_extra_pep.py Tue Dec 15 16:25:37 2015 +0100 +++ b/src/plugins/plugin_misc_extra_pep.py Tue Dec 15 17:03:30 2015 +0100 @@ -38,7 +38,8 @@ PARAM_KEY = u"Misc" -PARAM_NAME = u"Blog authors following list" +PARAM_NAME = u"blogs" +PARAM_LABEL = u"Blog authors following list" PARAM_DEFAULT = (jid.JID("salut-a-toi@libervia.org"),) @@ -58,7 +59,7 @@ 'category_name': PARAM_KEY, 'category_label': D_(PARAM_KEY), 'param_name': PARAM_NAME, - 'param_label': D_(PARAM_NAME), + 'param_label': D_(PARAM_LABEL), 'jids': u"\n".join({elt.toXml() for elt in params.createJidElts(PARAM_DEFAULT)}) }