/** An empty service worker! */
self.addEventListener ('fetch', function(event)
{
/** An empty fetch handler! */
});