PHP bug reproducement