Steps to reproduce the error:
* go to tbl_structure.php
* add an index using the "more" dropdown (you will land on sql.php)
* try to edit any index
* you will get the following JS error: "checkIndexType is not defined"
The problem here is that indexes.js is missing from sql.php
This bug was fixed in repository and will be part of a future release; thanks for reporting.