Bharat Mediratta 161a85d3f5 Enable profiling output in the HTML output for REST. Fixes #1535.

2010-12-16 20:37:44 -08:00

..

registry_rest.php

Create a registry of REST resources and call it "registry".. Pretty

2010-08-08 11:35:36 -07:00

rest_event.php

Consolidate all the random code into a random helper that offers:

2010-12-15 14:57:00 -08:00

rest_installer.php

Make RENAME TABLE operations idempotent so that in case there's a

2010-09-01 22:19:44 -07:00

rest.php

Enable profiling output in the HTML output for REST. Fixes #1535.

2010-12-16 20:37:44 -08:00