From 7f0563f5f4985f1b39806c81316d9ba7691aa269 Mon Sep 17 00:00:00 2001
From: Christian Dywan <christian@twotoasts.de>
Date: Sat, 6 Dec 2008 04:47:51 +0100
Subject: [PATCH] Scratch the '.user' part in '.user.css' and '.user.js'.

For all practical purposes it caused confusion among users
and the regular file extension should be just as fine.
---
 panels/midori-addons.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/panels/midori-addons.c b/panels/midori-addons.c
index f73ff580..a8dc3155 100644
--- a/panels/midori-addons.c
+++ b/panels/midori-addons.c
@@ -231,9 +231,9 @@ _addons_get_extension (MidoriAddons* addons)
     switch (addons->kind)
     {
     case MIDORI_ADDON_USER_SCRIPTS:
-        return ".user.js";
+        return ".js";
     case MIDORI_ADDON_USER_STYLES:
-        return ".user.css";
+        return ".css";
     default:
         return NULL;
     }