def finalize_media(app):
if (app.builder.name == '<STR_LIT>' or<EOL>app.builder.format != '<STR_LIT:html>' or<EOL>not hasattr(app.builder, '<STR_LIT>')):<EOL><INDENT>return  <EOL><DEDENT>context = app.builder.config.html_context<EOL>STATIC_URL = context.get('<STR_LIT>', DEFAULT_STATIC_URL)<EOL>js_file = '<STR_LIT>'.format(STATIC_URL)<EOL>if sphinx.version_info < (<NUM_LIT:1>, <NUM_LIT:8>):<EOL><INDENT>app.builder.script_files.append(js_file)<EOL><DEDENT>else:<EOL><INDENT>app.add_js_file(js_file)<EOL><DEDENT>
Point media files at our media server.