Convert GIFs to MP4s

2023-06-24 13:28:50 +10:00
parent b270af04eb
commit 7818e2a54d
3 changed files with 41 additions and 7 deletions
--- a/app/templates/layouts/app.html.slim
+++ b/app/templates/layouts/app.html.slim
@@ -28,7 +28,7 @@ html
    script src="/assets/gallery.js"
    script src=asset_from_manifest("index.js")

-    script src="https://unpkg.com/htmx.org@1.8.4" integrity="sha384-wg5Y/JwF7VxGk4zLsJEcAojRtlVp1FKKdGy1qN+OMtdq72WRvX/EdRdqg/LOhYeV" crossorigin="anonymous"
+    script src="https://unpkg.com/htmx.org@1.9.2/dist/htmx.min.js" integrity="sha384-L6OqL9pRWyyFU3+/bjdSri+iIphTN/bvYyM37tICVyOJkWZLpP2vGn6VUEXgzg6h" crossorigin="anonymous"
    script src="https://cdn.jsdelivr.net/npm/alpinejs@3.12.0/dist/cdn.min.js" defer="true"

    - if Hanami.app.settings.micropub_pub_key