PHPDevShell

  1. Bug #708935
  2. Comment #3

Comment 3 for bug 708935

Revision history for this message
TitanKing (titan-phpdevshell) wrote :

You are right, this was fixed but for some reason this bug came back. I will rename the file again and push the fix.