New Niki and MediaWiki highlighting

[Joerg Fischer]

Joor Loohuis wrote:

> Done. You should be able to upload files with extension png, gif, jpg,
> jpeg, txt, and pdf.

Ok, I've converted almost all (except for user pages). Unfortunately,
there are still some pages left I can't locate. Were there orphaned
pages on the old Niki?  Things like Javamode, Backlight,
MacroLanguageInternals don't seem to have links to from other pages or
I just cannot find them.

Anyway, I think the clean up work is now for the administrator.

Cheers,
Jörg