elkarte/tools — pull request #6 by eurich (2013-05-06 18:55:21+00:00)
Title: Repair settings fixes

- various fixes to repair_settings.php
- modernized the UI a little bit, hope it's OK ...