settings: rename a parameter. No functional changes.
settings: rename a parameter. No functional changes.

Please note that the logic of this functionality is incorrect: this change is in
preparation of the next commit, which fixes it.

storytouch/etherpad-lite,ether/etherpad-lite,joequant/etherpad-lite,ether/etherpad-lite,aptivate/etherpad-lite,joequant/etherpad-lite,aptivate/etherpad-lite,ether/etherpad-lite,aptivate/etherpad-lite,joequant/etherpad-lite,storytouch/etherpad-lite,storytouch/etherpad-lite,aptivate/etherpad-lite,joequant/etherpad-lite