Encyclopedia of dinosaurs Wiki/Extensions