PHPDevShell

  1. Bug #708935
  2. Comment #4

Comment 4 for bug 708935

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

Ok, the file under themes/cloud/jquery.cookie.js is not in use anymore, but can still cause problems. It was deleted from the distro, you can safely delete yours too.