Naming Standardization

webint shall be the common word used now, replaced all instances of webinterface or webAPI with that one phrase. Should make it easier to read and search.
This commit is contained in:
skull132
2016-03-07 19:01:03 +02:00
parent 9143d5077a
commit 61e93b1d79
2 changed files with 23 additions and 23 deletions
+7 -7
View File
@@ -208,9 +208,9 @@ var/list/gamemode_cache = list()
var/aggressive_changelog = 0
//Webinterface settings
var/webinterface_enabled = 0
var/webinterface_url = ""
//Web interface settings
var/webint_enabled = 0
var/webint_url = ""
/datum/configuration/New()
var/list/L = typesof(/datum/game_mode) - /datum/game_mode
@@ -678,11 +678,11 @@ var/list/gamemode_cache = list()
if("show_auxiliary_roles")
config.show_auxiliary_roles = 1
if("use_webinterface")
config.webinterface_enabled = 1
if("use_webint")
config.webint_enabled = 1
if("webinterface_url")
config.webinterface_url = 1
if("webint_url")
config.webint_url = 1
else
log_misc("Unknown setting in configuration: '[name]'")