Whoops, accidentally pushed it as a normal patch instead of a security patch. :( Oh well.
https://reviews.mahara.org/2417
Whoops, accidentally pushed it as a normal patch instead of a security patch. :( Oh well.
https:/ /reviews. mahara. org/2417