MDL-58486 user_prefs: always update $USER cache when applicable
[moodle.git] / media / 
treeb50fdc694211fa432ced2d0c3ce18f9820d1eca8
drwxr-xr-x   ..
drwxr-xr-x - classes
drwxr-xr-x - player
-rw-r--r-- 248 upgrade.txt