diff --git a/user/pix.php b/user/pix.php new file mode 100644 index 00000000000..0b84d34405f --- /dev/null +++ b/user/pix.php @@ -0,0 +1,12 @@ +set_url('/user/pix.php'); +$PAGE->set_context(null); + +redirect($OUTPUT->pix_url('u/f1'));