Static variable declarations produce "Undefined variable" PHP error

[artmatsak]

Original:

<?php

function test() {
  static $hello = 'Hello world!';
  print $hello;
}

Obfuscated:

<?php
function test() { static $hello = 'Hello world!'; print $sp93cba0; }

Notice how the variable retains its original name in the static declaration but is referenced as $sp93cba0 in the code that follows.

Is this a known issue? Is there a fix/workaround?

[artmatsak]

Duplicate of issue #7.