[Bug 35157] Request to change getArticleId() to getArticleID() on mediawiki.org (Manual pages, examples...)

2012-03-30 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=35157 Krenair changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED CC|

[Bug 35157] Request to change getArticleId() to getArticleID() on mediawiki.org (Manual pages, examples...)

2012-03-11 Thread bugzilla-daemon
https://bugzilla.wikimedia.org/show_bug.cgi?id=35157 T. Gries changed: What|Removed |Added Priority|Unprioritized |Low -- Configure bugmail: https://bugzilla