2016-02-05 01:40:56 +01:00
<!-- everything has to be repeated twice because on 2016 - 02 - 01 GitHub pages migrated to jekyll 3; see bug https://github.com/jekyll/jekyll/issues/4439 -->
2016-02-02 04:05:47 +01:00
2016-02-05 01:40:56 +01:00
{% if page.common-ext-js %}
{% for js in page.common-ext-js %}
< script src = "{{ js }}" > < / script >
{% endfor %}
{% endif %}
2016-02-02 03:07:13 +01:00
{% if layout.common-ext-js %}
{% for js in layout.common-ext-js %}
2015-03-03 02:10:41 +01:00
< script src = "{{ js }}" > < / script >
{% endfor %}
{% endif %}
2015-03-02 21:06:05 +01:00
2016-02-05 01:40:56 +01:00
{% if page.ext-js %}
{% for js in page.ext-js %}
< script src = "{{ js }}" > < / script >
{% endfor %}
{% endif %}
2016-02-02 03:07:13 +01:00
{% if layout.ext-js %}
{% for js in layout.ext-js %}
2015-03-03 02:10:41 +01:00
< script src = "{{ js }}" > < / script >
{% endfor %}
2015-03-02 21:06:05 +01:00
{% endif %}
2016-02-05 01:40:56 +01:00
{% if page.js %}
{% for js in page.js %}
< script src = "{{ js | prepend: site.baseurl | replace: '//', '/' }}" > < / script >
{% endfor %}
{% endif %}
2016-02-02 03:07:13 +01:00
{% if layout.js %}
{% for js in layout.js %}
2015-03-03 01:24:07 +01:00
< script src = "{{ js | prepend: site.baseurl | replace: '//', '/' }}" > < / script >
2015-03-02 21:06:05 +01:00
{% endfor %}
{% endif %}
2016-02-02 03:07:13 +01:00
{% if layout.common-js %}
{% for js in layout.common-js %}
2016-01-22 04:13:47 +01:00
<!-- doing something a bit funky here because I want to be careful not to include JQuery twice! -->
{% if js contains 'jquery' %}
< script >
if (typeof jQuery == 'undefined') {
document.write('< script src = "{{ js | prepend: site.baseurl | replace: " / / " , " / " } } " > < / s c r ' + ' i p t > ' ) ;
}
< / script >
{% else %}
< script src = "{{ js | prepend: site.baseurl | replace: '//', '/' }}" > < / script >
{% endif %}
{% endfor %}
{% endif %}
2016-02-05 01:40:56 +01:00
{% if page.common-js %}
{% for js in page.common-js %}
<!-- doing something a bit funky here because I want to be careful not to include JQuery twice! -->
{% if js contains 'jquery' %}
< script >
if (typeof jQuery == 'undefined') {
document.write('< script src = "{{ js | prepend: site.baseurl | replace: " / / " , " / " } } " > < / s c r ' + ' i p t > ' ) ;
}
< / script >
{% else %}
< script src = "{{ js | prepend: site.baseurl | replace: '//', '/' }}" > < / script >
{% endif %}
{% endfor %}
{% endif %}
2016-01-22 04:13:47 +01:00
{% include google_analytics.html %}