Deletion of a toolchain does not work

From the toolchain specific page, it is currently impossible to delete a private/non-used toolchain. This causes a JS error ReferenceError: platform is not defined.

In contrast, this is working well from the toolchain list page