dépôts
/
lhc
/
web
/
wiklou.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 1:
ed3e9d7
)
Merge "Preferences.php: avoid "Undefined index" if key 'realname' don't exist in...
author
jenkins-bot
<jenkins-bot@gerrit.wikimedia.org>
Wed, 19 Mar 2014 22:53:31 +0000
(22:53 +0000)
committer
Gerrit Code Review
<gerrit@wikimedia.org>
Wed, 19 Mar 2014 22:53:31 +0000
(22:53 +0000)
includes/Preferences.php
patch
|
blob
|
history
diff --git
a/includes/Preferences.php
b/includes/Preferences.php
index
10aa99d
..
2d1529d
100644
(file)
--- a/
includes/Preferences.php
+++ b/
includes/Preferences.php
@@
-1410,7
+1410,7
@@
class Preferences {
// Fortunately, the realname field is MUCH simpler
// (not really "private", but still shouldn't be edited without permission)
- if ( !in_array( 'realname', $wgHiddenPrefs ) && $user->isAllowed( 'editmyprivateinfo' ) ) {
+ if ( !in_array( 'realname', $wgHiddenPrefs ) && $user->isAllowed( 'editmyprivateinfo' )
&& array_key_exists( 'realname', $formData )
) {
$realName = $formData['realname'];
$user->setRealName( $realName );
}