Thread:Extension talk:UserFunctions/UserFunctions.php:88 is broken by e0c40e55

Commit e0c40e55 introduced these lines to UserFunctions.php:

The last three characters ") {" of the middle line are a syntax error and can't possibly be correct. Should that line simply end with a semicolon?