Convert some mediawiki extensions to use wfLoadExtension