try {
- if (ext_info) {
- if (ext_info.responseText) {
- ext_info = ext_info.responseText;
- } else {
- ext_info = JSON.stringify(ext_info);
- }
- }
+ if (ext_info)
+ ext_info = JSON.stringify(ext_info);
try {
new Ajax.Request("backend.php", {
return;
} else {
Element.show(n);
+ new Effect.Highlight(n);
}
/* types: