https://bugzilla.wikimedia.org/show_bug.cgi?id=23427

--- Comment #12 from Waldir <wal...@email.com> 2010-10-25 06:56:40 UTC ---
(In reply to comment #6)
> (In reply to comment #4)
> > it is quite useful if you need a unique number for a page
> > which does not change in the course of editing. To use the name of a page is
> > not useful since this is variable. It would serve as a very good reference 
> > and
> > makes querying easier.
> {{PAGEID}} would serve that purpose just fine, but I don't believe it exists.

Hmm, I don't remember why I didn't comment here, but for that purpose, it would
be enough to just implement a wrapper for the same variable that is returned in
$wgArticleId (check any mw page source). I think I talked to someone in
#mediawiki about this, and I don't recall having been told that'd be hard to
do.

-- 
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.

_______________________________________________
Wikibugs-l mailing list
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to