Online PHP editor | refs for 9hBjn

@ 2013-07-30T03:13:37Z

<?php

$pid = "12a"; // string number from the database

echo 'Default..................: ', json_encode($pid), "\n";
echo 'JSON_NUMERIC_CHECK option: ', json_encode($pid, JSON_NUMERIC_CHECK);