EDITOR plugin: rename plugin/EDITORplugin to resources
Authored by: hovercraft-sf 2017-08-23
Parent: [r195]
Child: [r197]