Rename fetch_videojs* to fetch_player*

このコミットが含まれているのは:
syeopite 2021-09-11 22:47:12 -07:00
コミット 06a1d2ac41
この署名に対応する既知のキーがデータベースに存在しません
GPGキーID: 6FA616E5A5294A82
2個のファイルの変更13行の追加0行の削除

ファイルの表示

@ -126,6 +126,19 @@ if CONFIG.check_tables
end
end
# Resolve player dependencies. This is done at compile time.
#
# Running the script by itself would show some colorful feedback while this doesn't.
# Perhaps we should just move the script to runtime in order to get that feedback?
{% puts "\nChecking player dependencies...\n" %}
{% if flag?(:minified_player_dependencies) %}
{% run("../scripts/fetch-player-dependencies.cr", "--minified") %}
{% else %}
{% run("../scripts/fetch-player-dependencies.cr") %}
{% end %}
{% puts "Done!\n" %}
# Start jobs
if CONFIG.channel_threads > 0