2017-05-18 21:49:46 +02:00
|
|
|
<?php
|
2017-06-20 19:40:56 +02:00
|
|
|
class restDcNameSpace extends dcNamespace
|
2017-05-18 21:49:46 +02:00
|
|
|
{
|
|
|
|
//this function is private on the parent class
|
|
|
|
public function settingExists($id,$global=false)
|
|
|
|
{
|
|
|
|
$array = $global ? 'global' : 'local';
|
|
|
|
return isset($this->{$array.'_settings'}[$id]);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
}
|