mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Popups
synced 2024-11-23 23:24:39 +00:00
7d86f0d732
Move /docs/ui/README.md into /README.md. This fixes an issue where the precommit script dirties the working directory on every commit (it deletes docs/ui/README.md, which can be confusing) and makes the root readme the single source of documentation. Change-Id: Id99ca09b738a6fd3299f1acb4f238902461cdd95 |
||
---|---|---|
.. | ||
adr | ||
images/instrumentation | ||
change_listener.md | ||
instrumentation.md |