In one side we have dev.wikimedia.org, and in the other side we have a namespace to be defined at mediawiki.org (T555). How should we bridge them?
Options:
- dev.wikimedia.org points to www.mediawiki.org/wiki/Namespace:Main, and that's it. Simple to implement but... not very elegant?
- A full redirect where www.mediawiki.org/wiki/Namespace:Foo pages always shows dev.wikimedia.org/Foo. Very nice but is that even possible? This might also have undesired side effects i links, searches, etc. Worth investigating?
- Other?