Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Moved the new extension to the right place.
This is the right place, since the installation script uses this location.
- Loading branch information