How to get full path of MP4 file used by portal in Safari?
Open the web inspector and look in the resource list for the active network connection (indicated by the spinning pinwheel next to the resource) as this is usually the stream file.

Clicking the resource will show the Full URL under the Location section of the resource inspector.

                                   

Note that some URLs won't be able to be played directly due to licensing restrictions.