- urldecode: documentation ( source)
- implode: documentation ( source)
- explode: documentation ( source)
<?php
$_REQUEST['token_pre_pop'] = true;
$_REQUEST['ids'] = '1000';//,1002,1004';
if (isset($_REQUEST['token_pre_pop'])) {
$ids = $_REQUEST['ids'];
$ids = explode(",", urldecode($ids));
$ids = "'".implode("','", $ids)."'";
echo $ids; // JSONed
}