function callback(resource)
    {
        if (resource.path === url) {
            resourceURL = resource.url;
            return true;
        }
    }
@return {?string} null if the specified resource MUST NOT have a URL (e.g. "javascript:...")