Online PHP editor | refs for eTCjA

@ 2013-04-07T13:48:37Z

<?php

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

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