Re: [Mediawiki-l] svn update mediawiki and extensions at same time