Chodzi o troszkę inna rzecz. Jeżeli np: ściągnę sobie stronę na serwer i podmienię pliki .js na swoje (a dokładnie zmodyfikowane ich) to wszystko powinno śmigać, a tak nie jest.
Pytanie moje czy jest możliwość edycji plików .js na czyjejś stronie tak jak to robi np: firebug w mozilli lub "zbadaj element" w chrome ?
I jeszcze co oznacza to v=1234
/jakis_plik.js?v1234
żadne z narzędzi, które opisałeś, nie służy do edycji plików. zmiany są robione lokalnie w pamięci przeglądarki i nigdy nigdzie nie są zapisywane, bo i niby jak? magicznie wrzucają się na serwer, chociaż przeglądarka nie ma takiej funkcjonalności, nie zna ani ścieżki do uploadu, ani tym bardziej loginu/hasła? poczytaj trochę o temacie edycji stron, bo to są podstawy podstaw.
tak, możesz sobie edytować pliki z cudzych stron, ściągnąwszy te pliki lokalnie i edytując je lokalnie. wrzucić na jakąkolwiek stronę (poza localhost i podobnymi wyjątkami) możesz tylko, jeśli dysponujesz adresem serwera, loginem i hasłem do konta.
v1234 to jakiś łańcuch znaków pozwalający wymusić na przeglądarce dociągnięcie nowych wersji plików mimo włączenia buforowania tychże plików. zmieniasz plik - zmieniasz v1234 na v1235 we wszystkich linkach prowadzących do pliku i masz pewność, że żadna przeglądarka nie będzie używać starej, zbuforowanej lokalnie wersji 1234.
btw "mozilla" jest taką samą przeglądarką, jak "microsoft".