Hi,

It is not taken by PHP but by JS script in the file js/functions.js. So it just copies the HTML code for that element and uses in the sticky header.

Regards