Changes inside tool.php for new location of the editorinfo class and some more changes.