="30">
<input
type=
"checkbox" name=
"enabled_<?= $pluginid ?>"if(count($plugins)===0)<?=_( 'Es wurden keine Plugins gefunden.') ?></td ></tr ><? else:?><? foreach(array_values( $plugins) as $index=> $plugin
Definition: show_role.php:184
foreach( $controllerreflection->getMethods(ReflectionMethod::IS_PUBLIC) as $method)(stripos( $method->name, "_action")===strlen( $method->name) - 7)($method->name, 0, stripos($method->name, "_action")) ?><? if(!in_array($name array("render", "map", "index")))<? $name=substr( $method-> name
Definition: index.php:43
< input type="radio" name="visibility_update[<?= $element['id'] ?> value
Definition: privacy.php:152
foreach( $GLOBALS[ 'TERMIN_TYP'] as $id=> $value)( $value[ 'name']) ?></option ><? endforeach ?></select ></label >< label class if(Config::get() ->RESOURCES_ENABLE &&($selectable_rooms|| $room_search)) type
Definition: editDate.php:53