https://bugzilla.wikimedia.org/show_bug.cgi?id=70781
--- Comment #6 from Jon jrob...@wikimedia.org ---
I updated vagrant but still hitting issues...
vagrant@mediawiki-vagrant:/vagrant/mediawiki$ php maintenance/importDump.php
dump.xml
Segmentation fault (core dumped)
https://bugzilla.wikimedia.org/show_bug.cgi?id=70781
Jon jrob...@wikimedia.org changed:
What|Removed |Added
CC||bmansu...@wikimedia.org,
https://bugzilla.wikimedia.org/show_bug.cgi?id=70781
Bryan Davis bda...@wikimedia.org changed:
What|Removed |Added
CC||bda...@wikimedia.org
https://bugzilla.wikimedia.org/show_bug.cgi?id=70781
This, that and the other (TTO) at.li...@live.com.au changed:
What|Removed |Added
CC|
https://bugzilla.wikimedia.org/show_bug.cgi?id=70781
Andre Klapper aklap...@wikimedia.org changed:
What|Removed |Added
Priority|Low |Normal