bug: index doesn't show the pages of the KeymanWeb guide in the correct order

[ermshiperete]

It would be helpful if the index on the left would show the pages in the same order they are intended to be read, i.e. same order as on https://help.keyman.com/developer/engine/web/17.0/guide/. Currently the order is different which is not helpful since it's not clear what the next page in the guide is.

Also, the links should be consistent ("Adding keyboards" vs "Installing keyboards").

[mcdurdin]

I'm not sure how we'd do this without a lot of changes to the infrastructure of the site. The menu on the left is autogenerated from the page titles.

[mcdurdin]

The only thing that would be easy would be to add a number to each page title, but that's not ideal. Note that changes to these pages should be done in the keymanapp/keyman repository now.

[ermshiperete]

@mcdurdin Where is the code that does the autogeneration?

[mcdurdin]

@mcdurdin Where is the code that does the autogeneration?

help.keyman.com/_includes/includes/index-content.php

Lines 77 to 123 in 7a70c15

	function build_index_content() {
	global $index_content;
	$this_file = basename($_SERVER['PHP_SELF']);
	if($this_file == 'mdhost.php') {
	$this_file = $_REQUEST['file'];
	$base = dirname(realpath(__DIR__ . '/../../') . DIRECTORY_SEPARATOR . $this_file) . '/';
	$path = './';
	} else {
	$path = './';
	$base = './';
	}
	$items = get_file_titles($base);
	$index_content = "<ul>";
	foreach($items as $file => $title) {
	$hetitle = htmlentities($title);
	$hesttitle = htmlentities(strip_tags($title));
	$cleanfile = str_replace('.md', '', str_replace('.php', '', $file));
	if($file == $this_file) {
	$index_content .= "<li class='current'>$hetitle</li>";
	} else {
	$index_content .= "<li><a href='$cleanfile' title='$hesttitle'>$hetitle</a></li>";
	}
	}
	$index_content .= "</ul>";
	$depth = 0;
	while(file_exists($base . 'index.php') || file_exists($base . 'index.md')) {
	if(file_exists($base . 'index.md'))
	$title = get_file_title_md($base . 'index.md');
	else
	$title = get_file_title($base . 'index.php');
	$hetitle = htmlentities($title);
	$hesttitle = htmlentities(strip_tags($title));
	if(($this_file == 'index.php' || $this_file == 'index.md') && $depth == 0) {
	$index_content = "<ul><li><div class='current'>$hetitle</div>$index_content</li></ul>";
	} else {
	$index_content = "<ul><li><a href='$path'>$hetitle</a>$index_content</li></ul>";
	}
	$path = '../' . $path;
	$base = $base . '../';
	if(++$depth > 2) break;
	}
	}