Wikimedia Bugzilla is closed!

After installing MediaWiki with some extensions activated and copying the created LocalSettings.php to the correct folder (d:\htdocs\test), php output was:

Warning: require_once(D:\htdocs\testxtensions\InputBox\InputBox.php): failed to open stream: Invalid argument in D:\htdocs\test\LocalSettings.php on line 123

Fatal error: require_once(): Failed opening required 'D:\htdocs\testxtensions\InputBox\InputBox.php' (include_path='.;C:\xampp\php\PEAR') in D:\htdocs\test\LocalSettings.php on line 123


Problem is produced by extension paths not being escaped properly, line in LocalSettings.php is:
require_once "$IP\extensions\InputBox\InputBox.php";
should be:
require_once "$IP\\extensions\\InputBox\\InputBox.php";