Clean up inst_info.php.
Merge branch 'development'