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