Hmmm... after about 60 minutes, the change showed up (after a hard refresh) in WikiEditor. Any idea why it took so long?
Something really weird is going on with caching and ResourceLoader/WikiEditor.
Originally my JavaScript file (loaded via ResourceLoader) emitted the string "A". I changed it to "B" and an hour later, the "B" became visible. Then I changed it to "C", refreshed my browser, and the string "A" appeared again!!
Any ideas? Thanks, DanB