Mediawiki extensions that I have created/modified