Update info in extensions

4 files changed, 15 insertions, 0 deletions

diff --git a/extensions/formfiller b/extensions/formfiller
index 40a183ce..24e61ee8 100644
--- a/extensions/formfiller
+++ b/extensions/formfiller
@@ -92,6 +92,10 @@
  *
  * */
 
+/*<INFO
+Extension that saves form data and fills forms with previously saved data
+INFO>*/
+
 var me = "formfiller";
 var defaultConfig = {
 //<DEFAULT_CONFIG
diff --git a/extensions/perdomainsettings b/extensions/perdomainsettings
index c72958ca..5551bff3 100644
--- a/extensions/perdomainsettings
+++ b/extensions/perdomainsettings
@@ -92,6 +92,9 @@
  * ------------------------------------------------------------------------------
  *
  * */ 
+/*<INFO
+Change webkit-settings on domain or url basis
+INFO>*/
 
 var me = "perdomainsettings";
 var domains = null;
diff --git a/extensions/requestpolicy b/extensions/requestpolicy
index dc221388..c40f2d93 100644
--- a/extensions/requestpolicy
+++ b/extensions/requestpolicy
@@ -80,6 +80,10 @@
  *
  * */
 
+/*<INFO
+Block requests from thirdparty domains with whitelisting support, permanently or just for a session
+INFO>*/
+
 var me = "requestpolicy";
 
 var defaultConfig = {
diff --git a/extensions/userscripts b/extensions/userscripts
index 905a7ed3..a332880e 100644
--- a/extensions/userscripts
+++ b/extensions/userscripts
@@ -58,6 +58,10 @@
  *
  * */
 
+/*<INFO
+Load userscripts and inject them into websites, mostly greasemonkey compatible
+INFO>*/
+
 var me = "userscripts";
 var onStart = []; 
 var onEnd = [];