Code

Cast to resource#435

Code

Closed

krakjoe wants to merge 2 commits intophp:masterphp/php-src:masterfrom krakjoe:cast_to_resourceCopy head branch name to clipboard

+1,587-1,492

Commits

Commits on Sep 9, 2013

• cast_to_resource

  krakjoe

  committed
  58080de

  Copy full SHA for 58080de

• be consitent with other cast operations

  krakjoe

  committed
  d84c3af

  Copy full SHA for d84c3af