Ensure settings.inc.php and user_settings.inc.php are included via require.
Removed user_settings.inc.php and added Core::getSettings()
Moved getFullTablename from DocumentParser to Core class.
Bugfixed Core::getSettings