Thread: wikipedia - wikipgedia: porting changes from mediawiki head