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
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
