Ticket #6732 (new enhancement)

Opened 5 months ago

Last modified 2 weeks ago

Should Be Allowed to Edit Other Plugin Files

Reported by: cpoteet Assigned to: anonymous
Priority: normal Milestone: 2.7
Component: General Version:
Severity: normal Keywords: dev-feedback
Cc:

Description

Pre 2.5 you used to be able to edit any file in the file editor, but now it's only restricted to php files. Can it at least be allowed for some common extensions such as .css, .txt, .html, .htm?

Change History

06/18/08 00:01:23 changed by thee17

  • milestone changed from 2.5.2 to 2.7.

08/26/08 12:31:48 changed by caesarsgrunt

+1

Actually I'd rather get rid of the editor alltogether, but if you're going to have it it ought to be able to edit all of the plugin files.

And also, the author should be able to disable eiting of their plugin (even when it is disabled). But that should be another ticket, I guess...