I have made some modifications to an extension I have installed on my Flarum installation (the extension is mprove/flarum-ext-auth0 if that's relevant). I made the changes to a file which was located at: [flarum directory]/vendors/mprove/flarum-ext-auth0/js/forum/main.js.
These edits were simple user interface changes. However, the changes are not appearing in the live version. I assume that the javascript in main.js needs to be copied to some other directory, and that is why the changes I made are not propagating. I have tried the following things:
clear the flarum php cache
restart apache
disable and re-enable this and other plugins
clear the composer cache
clear my browser's cache
However the changes I made are still not making it through to the live version.
How does one go about editing plugins in this way?
Thanks for your help and for developing such an awesome open-source project!