EverybodyWiki (es)/Extensions