Disco Dino Wiki/Extensions