apply patch to mediaelement-plugins playlist

This commit is contained in:
2024-11-11 03:15:12 +01:00
committed by Tilman Kranz
parent 14f2cf536f
commit ce1707eb80
2 changed files with 18 additions and 2 deletions

View File

@ -1,6 +1,9 @@
.PHONY: all src css
.PHONY: all depend css src
all: css src
all: depend css src
depend:
patch -d mediaelement-plugins -p1 < patches/mediaelement-plugins/01-playlist.js.diff
css:
css/build.sh