The extension diectory is its own repo, check it out and update it, along with the skins directory
On Sat, Dec 30, 2017 at 6:55 PM Dr. Michael Bonert < mich...@librepathology.org> wrote: > Hello, > > I have been running Mediawiki and updating with git - general outline here: > https://www.mediawiki.org/wiki/Download_from_Git#Keeping_up_to_date > > On update I pull recent versions of: > (1) mediawiki, (2) the extensions, (3) the skins, and (4) the external > libraries > with git. > > I then run 'update' from the command line ( php maintenance/update.php ). > > One issue I encountered is that: the extensions don't update right away - > as > per the page 'Special:Version'. > > Is there a simple way to reload the extensions? > Is it caching? > > Any help/ideas on this would be appreciated! > > Thanks, > Michael > > -- > Mediawiki 1.27.3 > git version 2.1.4 > > Prior related post - > https://lists.wikimedia.org/pipermail/mediawiki-l/2016-August/045818.html > > > _______________________________________________ > MediaWiki-l mailing list > To unsubscribe, go to: > https://lists.wikimedia.org/mailman/listinfo/mediawiki-l > _______________________________________________ MediaWiki-l mailing list To unsubscribe, go to: https://lists.wikimedia.org/mailman/listinfo/mediawiki-l
