|
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.
|