add missing locallib.php