Hello, I have fixed up beta earlier today. Some extensions were missing in the mediawiki/extensions.git repository and were required by our mediawiki-config configuration files.
Additionally, the automatic updater was not updating extensions because of a weird input/output error with a git file :/ Relevant SAL entries: 1:37 wm-bot: finally had GettingStarted extension installed. 10:37 hashar: /home/wikipedia/common/php-master/extensions/.git/FETCH_HEAD gave I/O error. I have deleted it and reran git pull + git submodule update --init aka : UPDATED ALL EXTENSIONS TO THEIR LATEST master VERSION. -- Antoine "hashar" Musso _______________________________________________ Labs-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/labs-l
