Double pipe in front of URL - Regex?

Looking at URL listings for adblockers and seeing entries with double pipes preceding the URL:

||akamai.net^*.247realmedia.com/$third-party

Anyone know what these double pipes refer to? Thanks