Changes

Todo Problems that remain unfixed for interface extensionnow:* sort out interface xml duplicatesthe "redirected from ..." message is not displayed. I seem unable to make it reappear in 1.34 because of the CmdPage inheriting from WikiPage but the redirect creating a hardcoded WikiPage object. I will retry when MW 1.35 is officially released. Todo for sourcebrowser:* develop a contenthandler for interface pages Search option to solve ParserCache issues and disable section editingsearch only file names* decide on allowed commands/tags and test on those when savingFix scroll for navigation pane* Add a 'search context' (maybe) add stay in current file while doing a dedicated editing page with split fields* (maybefollowup) if re-enable section editing* see what can be done about auto-instantiation of command pages (need Add a link back to keep track top of existing pages)page that always stays in view* document the new stuff (ref pages, env/cmd split, variantsmaybe)* fixrewrite/extend scite lexers and/or put the indices in the <nowiki>ConTeXt distribution ? {\color[tred]{cmdΆ}} and {\color[tblue]{envΆ}}</nowiki> templates* move existing pages to a safe location* existing page merging (jikes!) {\color[tred]{Ά}}* prepare code for merging to/from updated xml doc files {\color[tblue]{Ά}}