https://bugzilla.wikimedia.org/show_bug.cgi?id=70705
Bryan Davis <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |[email protected] --- Comment #4 from Bryan Davis <[email protected]> --- Was the vagrant/mediawiki clone new too or potentially very old? At least some of these errors look like your vagrant/mediawiki/skins/Vector directory is from before the changes were merged that made Vector a separate repository. The fix for that is given in <https://bugzilla.wikimedia.org/show_bug.cgi?id=70114#c1> : $ cd vagrant/mediawiki $ git pull $ cd skins $ rm -rf Vector # might not be a dir here to delete now but worth trying $ vagrant provision -- 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 [email protected] https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
