The .js file is actually included in one of their templates (using include()). So the <?php code is executed at that point.