{% if sourcename is defined and theme_use_edit_page_button==true and page_source_suffix and has_github_page %} {% set src = sourcename.split('.') %}