public function set_table_names($tables = false)
{
if (!is_array($tables)) {
$tables = array();
}
if (!isset($tables['modules'])) {
$tables['modules'] = 'modules';
}
if (!isset($tables['elements'])) {
$tables['elements'] = 'elements';
}
if (!isset($tables['module_templates'])) {
$tables['module_templates'] = 'module_templates';
}
if (!isset($tables['system_licenses'])) {
$tables['system_licenses'] = 'system_licenses';
}
if (!isset($tables['options'])) {
$tables['options'] = 'options';
}
$this->tables['options'] = $tables['options'];
$this->tables['modules'] = $tables['modules'];
$this->tables['elements'] = $tables['elements'];
$this->tables['module_templates'] = $tables['module_templates'];
$this->tables['system_licenses'] = $tables['system_licenses'];
}