https://bugzilla.wikimedia.org/show_bug.cgi?id=51635
Antoine "hashar" Musso <has...@free.fr> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |DUPLICATE
--- Comment #2 from Antoine "hashar" Musso <has...@free.fr> ---
MobileFrontend is not being updated properly. The issue is on Gerrit side.
The check-sync.sh of mediawiki/extensions.git let us detect such issue.
The workaround is to manually update the submodule in mediawiki/extensions.git
Follow up on bug 49846 mediawiki/extensions.git does not update some extensions
*** This bug has been marked as a duplicate of bug 49846 ***
--
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
