decord/source/6372_getHeaderTitle.js

18 lines
392 B
JavaScript
Raw Normal View History

2026-08-24 06:08:38 +00:00
// Module ID: 6372
// Function ID: 6373
2026-08-06 08:05:19 +00:00
// Name: getHeaderTitle
// Dependencies: []
2026-08-24 06:08:38 +00:00
// Module 6372 (getHeaderTitle)
2026-08-06 08:05:19 +00:00
arg5.getHeaderTitle = function getHeaderTitle(options, name) {
if (typeof options.headerTitle === "string") {
let title = options.headerTitle;
} else {
title = name;
if (undefined !== options.title) {
title = options.title;
}
}
return title;
};