From: <var...@us...> - 2022-01-11 11:37:42
|
Revision: 10883 http://sourceforge.net/p/phpwiki/code/10883 Author: vargenau Date: 2022-01-11 11:37:40 +0000 (Tue, 11 Jan 2022) Log Message: ----------- UserPreferences plugin: remove unused variable; no need to update_locale Modified Paths: -------------- trunk/lib/plugin/UserPreferences.php Modified: trunk/lib/plugin/UserPreferences.php =================================================================== --- trunk/lib/plugin/UserPreferences.php 2022-01-11 10:50:09 UTC (rev 10882) +++ trunk/lib/plugin/UserPreferences.php 2022-01-11 11:37:40 UTC (rev 10883) @@ -36,7 +36,6 @@ class WikiPlugin_UserPreferences extends WikiPlugin { - public $bool_args; public $_request; function getDescription() @@ -162,7 +161,6 @@ } else { $request->_setUser($user); $pref = $user->_prefs; - update_locale($rp['lang']); // Update locale in case user has changed language if ($num == 1) { $errmsg .= _("One UserPreferences field successfully updated."); } else { This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |