Fix lib/locallib.php formatting