classroom-instruments/dev-dist/registerSW.js

if ('serviceWorker' in navigator)
  navigator.serviceWorker.register('/dev-sw.js?dev-sw');