JavaScript files for push notifications (optional).