Manual:ResourceLoaderUserOptionsModule.php