Lukas Eipert 85002b6a7f Fix sorting in feature_highlight ... Apparently the Array.sort function was used in a wrong way. Instead of returning a number indicating order [0] it returned a boolean. This fixes that. [0]: https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Array/sort		2019-01-22 11:23:37 -08:00
..
feature_highlight.js	Fix sorting in feature_highlight	2019-01-22 11:23:37 -08:00
feature_highlight_helper.js	Prettify environments feature_highlight and filtered_search modules	2018-10-16 11:52:35 -05:00
feature_highlight_options.js	Restore feature_highlight code	2018-02-05 12:10:09 -06:00