#71: tests/php/index.php, reference 'html_form_ajax.js'