Re: [MediaWiki-l] Updating with git - reloading extensions?