rename symbol error

[danny-su]

rename symbol '$headers' error

<?php

$method = $_SERVER['REQUEST_METHOD'];
$uri = $_SERVER['REQUEST_URI'];

$headers = array();
foreach ($_SERVER as $key => $value) {
    if (strpos($key, 'HTTP_') == 0 && strlen($key) > 5) {
        $header = str_replace(' ', '-', ucwords(str_replace('_', ' ', strtolower(substr($key, 5)))));
        $headers[$header] = $value;
    }
}

[Error - 11:12:45 AM] Request textDocument/rename failed.
  Message:  Arg_ParamName_Name, newValue
  Code: 101 

[jakubmisek]

thank you @danny-su for reporting the issue. We'll take a look on that.

[jakubmisek]

This is failing, because $headers is a global variable, and renaming it would have a lot of side effects.

However; we should allow it and open a confirmation dialog if necessary.

[jakubmisek]

preparing pre-release with global variable rename.

thank you!