Re: [GENERAL] Rename extension?

2013-09-16 Thread Albe Laurenz
Moshe Jacobson wrote: Is there a way to rename an installed extension? I have written an extension, but I don't like the name I originally chose, and I would therefore like to rename it. However, it is installed on a production system, from which it cannot be uninstalled, and I would

[GENERAL] Rename extension?

2013-09-14 Thread Moshe Jacobson
Is there a way to rename an installed extension? I have written an extension, but I don't like the name I originally chose, and I would therefore like to rename it. However, it is installed on a production system, from which it cannot be uninstalled, and I would like to rename it there, too. How