Fix short tag in lms_lib.php