$result = false;
// Nickname or userid used?
- if (''.round($userid).'' === ''.$userid.'') {
+ if ('' . round($userid) . '' === '' . $userid . '') {
// Userid given, so try to load user data
if (fetchUserData($userid)) {
// Load nickname from database