Brion Vibber brion@wikimedia.org writes:
How does one update mediawiki and installed extensions at the same time?
'svn up' has always been quite sufficient for us.
Ensure that the 'extensions' subdirectory is an actual working
directory, and not some fresh empty directory that you created.
Sorry, the best I can do is $ ls -d . extensions/*|grep -v README|xargs svn up as plain svn up misses the extensions. Maybe that is because I checkout'ed the extensions one at a time after I checkout'ed mediawiki, like I expect most folks do.