From: Tom Hughes Date: Thu, 5 Jul 2018 19:43:57 +0000 (+0100) Subject: Convert some mediawiki extensions to use wfLoadExtension X-Git-Url: https://git.openstreetmap.org/chef.git/commitdiff_plain/a9d9fe7e291ad539f92e1a109995ca4cdc0d5892?hp=a9d9fe7e291ad539f92e1a109995ca4cdc0d5892 Convert some mediawiki extensions to use wfLoadExtension ---