5096: Fixed a security issue with the tool manager index page to prevent the file specified in url from being executed as php code. Also fixed indentations and replaced tabs with spaces in a few scripts.
Merge branch 'master' of github.com:atutor/ATutor