mirror of
https://github.com/moodle/moodle.git
synced 2025-04-01 06:22:35 +02:00
When $launch_id wasn't typed, it was ok to call the getter, but now that it is, php throws an error. Replaced with stub method.
When $launch_id wasn't typed, it was ok to call the getter, but now that it is, php throws an error. Replaced with stub method.