[development] drupal_to_js

I submitted a bug a while ago while doing some drupal dev for work: http://drupal.org/node/42794 It would be cool if this was looked at prior to 4.7 final so that the released drupal / JSON implementation is more useful, and in particular functions like PHP-JSON. This will allow people implementing AJAX / JSON stuff in drupal to optionally compile and use PHP-JSON if they want the performance, without code changes. cheers, JeffG