patch extension added to leaflet_widget-add-counter patch