Is there a better/shorter way in PHP of doing
$x = $x + 10;
i.e.
something like
$x .= 10; // (but this doesn\'t add
$x +=10; is equivalent to $x = $x +10;
http://www.tizag.com/phpT/operators.php