3,897
edits
Changes
Jump to navigation
Jump to search
no edit summary
Todo for interface extension
* sort out interface xml duplicates
* develop a contenthandler for interface pages to solve ParserCache issues and disable section editing
* decide on allowed commands/tags and test on those when saving
* (maybe) add a dedicated editing page with split fields
* (maybe) if re-enable section editing
* see what can be done about auto-instantiation of command pages (need to keep track of existing pages)
* document the new stuff (ref pages, env/cmd split, variants)
* fix/extend the <nowiki>{{cmd}} and {{env}}</nowiki> templates
* move existing pages to a safe location
* existing page merging (jikes!)
* prepare code for merging to/from updated xml doc files
