1--TEST--
2Bug #47517 test registry virtualization disabled
3--SKIPIF--
4<?php
5if (substr(PHP_OS, 0, 3) != 'WIN') {
6    die('skip only for Windows');
7}
8exec('net session 2>&1', $out, $status);
9if (!$status) {
10	die('skip test runs under an elevated user account');
11}
12?>
13--FILE--
14<?php
15/* This has to behave same way on both 64- and 32-bits. */
16file_put_contents('C:\Program Files\myfile.txt', 'hello');
17?>
18==DONE==
19--EXPECTF--
20Warning: file_put_contents(C:\Program Files\myfile.txt): failed to open stream: Permission denied in %sbug47517.php on line %d
21==DONE==
22