-
Task
-
Resolution: Duplicate
-
Minor
-
None
-
3.2
-
MOODLE_32_STABLE
update_module_button() has been marked as deprecated since 2.0, but it has not really undergone 1st and 2nd stage deprecation since it is still being used in mod_resource's resource_print_header() function.
There also seems to be no alternative for it (not that I can see from its PHPDoc).
It's time that we do something about this.