<?php
namespace Claromentis\Core\User\Directory;

$GLOBALS["__65da1b1e" . "c2d6653e8a" . "0ab7848e53" . "6215"] = (@$GLOBALS["__65da1b1ec2d665" . "3e8a0ab7848e5362" . "15"] ?: array()) + array();




class DirectorySettings
{
    public $enabled;
    public $sync_interval;
    public $initial_sync_time;
}