wikimedia/mediawiki-core — pull request #7 by Arcane21 (2013-08-13 23:55:01+00:00)
Title: Would like to request these extensions be pulled to the Orain repository

https://gerrit.wikimedia.org/r/mediawiki/extensions/AdminLinks
https://gerrit.wikimedia.org/r/mediawiki/extensions/AJAXPoll
https://gerrit.wikimedia.org/r/mediawiki/extensions/CreateRedirect
https://gerrit.wikimedia.org/r/mediawiki/extensions/Disambiguator
https://gerrit.wikimedia.org/r/mediawiki/extensions/DynamicPageList
https://gerrit.wikimedia.org/r/mediawiki/extensions/SkinPerNamespace
https://gerrit.wikimedia.org/r/mediawiki/extensions/Maintenance
https://gerrit.wikimedia.org/r/mediawiki/extensions/Tabber
https://gerrit.wikimedia.org/r/mediawiki/extensions/WebChat

All of these extensions are either stable or have been used or are used on Wikimedia projects, and none should conflict with presently installed extension currently on Orain.