Max Semenik wrote:
On 05.07.2012, 12:01 Antoine wrote:
PHP 5.3.0, released in June 2009, introduced namespacing, a feature we have never used yet since we were still supporting 5.2.
Jeroen submitted https://gerrit.wikimedia.org/r/14181 which use namespaces. Since that is, to my knowledge, the first patch that introduce namespace, I am opening this thread so we discuss about namespace introduction in MediaWiki.
I think namespaces were discussed recently and we decided that we don't want to use them yet.
K. Peachey wrote:
Haven't we already discussed this like ten million times around?
I believe both of you are referring to (at least) this thread from May 2012 titled "Stance on PHP namespaces?" started by Jeroen De Dauw: http://lists.wikimedia.org/pipermail/wikitech-l/2012-May/thread.html#60651
Not sure why neither of you could come up with a mailing list cite, though I agree that re-hashing this discussion is silly. Someone should write a guideline on mediawiki.org, as Chad suggested in May.
MZMcBride