Thank you very much for the feedback! I found this similar repository https://github.com/wikimedia/mediawiki-extensions-AdManager It seems to be a copy from another host but the last activity is from days ago. Do you think it will be appropriate to me to change the link in the proposal? Thanks and good luck again!
Posted using Steeve, an AI-powered Steem interface
Yes that is a mirror repository but unfortunately it is not accepting contributions.
Changing the repository will not make any difference.
Hard luck!
However I do feel that you will keep suggesting excellent features such as these in your future contributions.
Have a nice day!