<?php
namespace Claromentis\Core\Widget;

$GLOBALS["__65da1b1ec2d6" . "653e8a0ab7848e" . "536215"] = (@$GLOBALS["__65da1b1ec2d" . "6653e8a0ab784" . "8e536215"] ?: array()) + array();
use Claromentis\People\NameProvider\AssignableExtranets;
use PeopleGRENamesProvider;
class AssignableExtranetPicker extends ExtranetPicker
{
    
    
    
    
    protected function GetProvider()
    {
        return new AssignableExtranets();
    }
}