<commit_before><nav class="vertical zero-mobile">
	<ul>
		<li ng-if="selectedWiki.index.length > 0">
			<a ng-href="#/view/[[selectedWiki._id]]/[[selectedWiki.index]]">
				<i18n>wiki.homepage.label</i18n>
			</a>
		</li>
		<li resource-right name="createPage" resource="selectedWiki">
			<a navigation-trigger="newPage()">
				<i18n>wiki.create.new.page</i18n>
			</a>
		</li>
		<li>
			<a navigation-trigger="listPages(selectedWiki._id)">
				<i18n>wiki.pagelist</i18n>
			</a>
		</li>
	</ul>
</nav>
<nav class="vertical nav-droppable mobile-navigation" side-nav>
	<ul>
		<li ng-if="selectedWiki.index.length > 0">
			<a ng-href="#/view/[[selectedWiki._id]]/[[selectedWiki.index]]">
				<i18n>wiki.homepage.label</i18n>
			</a>
		</li>
		<li resource-right name="createPage" resource="selectedWiki">
			<a navigation-trigger="newPage()">
				<i18n>wiki.create.new.page</i18n>
			</a>
		</li>
		<li>
			<a navigation-trigger="listPages(selectedWiki._id)">
				<i18n>wiki.pagelist</i18n>
			</a>
		</li>

	</ul>
</nav>
<hr class="twelve cell vertical-spacing" />
<nav ng-if="selectedWiki.lastPages" class="vertical">
	<i18n>wiki.last.modified.pages</i18n>
	<div ng-repeat="page in selectedWiki.lastPages" class="small-text">
		<a ng-href="#/view/[[selectedWiki._id]]/[[page._id]]">
			[[page.title]]
		</a> - [[getRelativeTimeFromDate(page.modified)]]
	</div>
</nav><commit_msg>fix: #30717, remove useless duplicate nav<commit_after><nav class="vertical nav-droppable mobile-navigation" side-nav>
	<ul>
		<li ng-if="selectedWiki.index.length > 0">
			<a ng-href="#/view/[[selectedWiki._id]]/[[selectedWiki.index]]">
				<i18n>wiki.homepage.label</i18n>
			</a>
		</li>
		<li resource-right name="createPage" resource="selectedWiki">
			<a navigation-trigger="newPage()">
				<i18n>wiki.create.new.page</i18n>
			</a>
		</li>
		<li>
			<a navigation-trigger="listPages(selectedWiki._id)">
				<i18n>wiki.pagelist</i18n>
			</a>
		</li>

	</ul>
</nav>
<hr class="twelve cell vertical-spacing" />
<nav ng-if="selectedWiki.lastPages" class="vertical">
	<i18n>wiki.last.modified.pages</i18n>
	<div ng-repeat="page in selectedWiki.lastPages" class="small-text">
		<a ng-href="#/view/[[selectedWiki._id]]/[[page._id]]">
			[[page.title]]
		</a> - [[getRelativeTimeFromDate(page.modified)]]
	</div>
</nav>
{'fraction_non_alphanumeric': 0.217239878101872, 'fraction_numerical': 0.022638223770134958, 'mean_word_length': 4.234624145785877, 'pattern_counts': {'":': 0, '<': 87, '<?xml version=': 0, '>': 90, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3514870', 'n_tokens_mistral': 1042, 'n_tokens_neox': 911, 'n_words': 135}