The Multilingual Encyclopedia (miraheze.org)/Extensions