<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">
define(['history'], function() {

	var baseTitle = BASE_TITLE;

	PushState = {

		changeState : function(e, url) {
			if ( url ) {
				History.replaceState(false, baseTitle, url);
			} else {
				History.replaceState(false, PushState.pageTitle( e ), PushState.pageUrl( e ));
			}			
		},

		pageUrl : function(e) {
			return e.attr('href') || e.data('href');
		},

		pageTitle : function(e) {
			return e.attr('title') ? e.attr('title') + " â€” " + baseTitle : baseTitle;
		}

	}

	return PushState;

});</pre></body></html>