Last modified: 2012-12-09 19:49:08 UTC
According to version_compare() 1.17wmf1 < 1.17alpha. We need our own wfVersionCompare() that handles such cases properly. We could probably even have a function wfIsAtLeastMediaWiki() or something similar. Additional note: Apparently also 1.17alpha < 1.17, which I am not sure is desirable.
> Apparently also 1.17alpha < 1.17, which I am not sure is desirable. The alpha version is pre-release, while the version without the "alpha" is later, so I think that is right.
(In reply to comment #0) > According to version_compare() 1.17wmf1 < 1.17alpha. We need our own > wfVersionCompare() that handles such cases properly. We could probably even > have a function wfIsAtLeastMediaWiki() or something similar. > Per the PHP docs, anything it can't sort automatically comes "older." "any string not found in this list < dev < alpha = a < beta = b < RC = rc < # < pl = p." > Additional note: Apparently also 1.17alpha < 1.17, which I am not sure is > desirable. This is as designed, like Mark says :)
I have no idea what would be "correct", wmf numbering and pre releases are disconnected and there is no way to find out which is the most recent. I don't think it make any sense to compare them and would prefer we avoid adding yet another global function.