Rotation with leaflet rotate

Hi,

I would add rotation on map on my website, using leaflet-rotate (Raruto).

Is it possible, like adding geolocation (I already did it on my website) ?

If I add this script in functions.php :

https://unpkg.com/[email protected]/dist/leaflet-rotate-src.js, which code should be added in <script> included in my widget ?

Thanks !