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.

diff --git a/panels/midori-addons.c b/panels/midori-addons.c
index f73ff5806ae8873e104412f066ccd6cd3647e43f..a8dc3155b587c8c6010eb5291b393a1997477670 100644 (file)
--- 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;
     }