https://bugzilla.wikimedia.org/show_bug.cgi?id=50912
Web browser: ---
Bug ID: 50912
Summary: Fatal PHP errors can prompt Vagrant to re-configure
MediaWiki
Product: Tools
Version: unspecified
Hardware: All
OS: All
Status: NEW
Severity: major
Priority: Unprioritized
Component: MediaWiki-Vagrant
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Classification: Unclassified
Mobile Platform: ---
To reproduce, introduce a syntax error to LocalSettings.php and run 'vagrant
provision'. The error causes the 'check settings' exec task in
puppet/modules/mediawiki/manifests/init.pp to fail, which prompts Puppet to
delete mediawiki/LocalSettings.php and re-install MediaWiki.
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l