I would appreciate if someone please adds - for each example - the corresponding (anonymous https://) git commands to the "checkout" examples on https://www.mediawiki.org/wiki/Subversion#Check_out ? Purpose: to update the documentation for downloaders how to fetch the recent versions of MediaWiki and its extensions from git. This is also listed as a "To-Do" in https://www.mediawiki.org/wiki/Git/Conversion#March_2012 "change links on mediawiki.org ".