[LEAK] Portals - Now with sounds!

https://www.gmodstore.com/scripts/view/1251/portals-now-with-sounds

Portals:
An addon which adds portals to GMod. There are 2 types of portals:
permanent and home portals. These first ones can be placed by admins and
saved and these second ones can be placed by players if they specified their homes before.
Of course you can shoot and throw props through portals.

Features:

1. Easy to configure
2. Stencil buffer
3. Custom models (made by my friend, will probably change)
4. Permanent portals (on multiple maps)
5. Customizable colors and rotation
6. Dragging props and shooting through portals
7. Nice animations
8. Console command to bring portals