| Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Tidy up punctuation
|
|
|
|
|
|
|
|
|
|
|
|
|
|
several percent
|
|
|
|
around limitation in old versions of jquery?). Don't do this any more - it breaks jQuery extensions, by re-creating the jQuery object. This also has the benefit of making the home page more responsive.
|
|
some future optimisation using PHP5.3)
|
|
is very slow. (int)($x/$y) is measurably faster. We call this function many thousands of times, especially in date calculations.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
apply "center" at a parent element. We have now removed the "center", and no longer need this markup.
|
|
in CSS
|
|
|
|
|
|
rather than when we DISPLAY them. It is easier to do it in one place, not everywhere.
getFullName() already calls canDisplayName(), so no need to call it a second time.
|
|
the custom_js module may invoke WT_Stats which also needs functions_print_lists
|
|
|
|
|
|
|
|
|
|
|
|
|
|
months on non-leap years.
|
|
|