-
Task
-
Resolution: Fixed
-
Low
-
None
to allow MDLSITE-1861 to proceed,
we need a repository for which a script (run manually or automatically) can add plugins directory code into.
The git repository's code must be searchable and browsable like the other repos which i assume comes by default on gitweb.
- blocks
-
MDLSITE-1861 Reviewing efficiency : Add a simple grep UI for plugin admins to local_plugins to grep all (or selected/current) plugin's code.
-
- Closed
-