jquery/jquery — comment on commit 318d47b730769f538dbc24800b9ad67ff8e73ea9
File:  line 0
By Krinkle:

```
window.hasPHP = false /* */;
```

In contrary to JavaScript, PHP does actually have a separate operator for concatenation and mathematical addition. '+' is addition in PHP. Use ```.``` to concatenate strings in PHP...