Author: abgreeve
MDL-72930 navigation: Update to badges navigation.
This allows navigation nodes injected into the badges section
to be displayed as either a button or a dropdown url_select.
http://git.moodle.org/gw?p=moodle.git;a=commit;h=f1d22c9830257ba3ea82c0edb48c0c4b8f64525a
http://github.com/moodle/moodle/commit/f1d22c9830257ba3ea82c0edb48c0c4b8f64525a
+ 4.0 en [othernavigation,core_badges]