| Age | Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
|
|
pasteid is left alone for now
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
update wt_media table (to add columns we need to search on).
|
|
|
|
picked up from a CDN server
|
|
removed a very long time ago.
|
|
|
|
bottom of the page. This improves responsiveness, as the page can be rendered before the scripts are parsed.
|
|
#964398 - find individual id
|
|
|
|
|
|
etc. The browser will do a much faster and better job than we can. Unfortunately, only Webkit supports this at the moment. Presto and Gecko should support it soon. Trident support is unknown.
|
|
option for media objects.
|
|
|
|
apply "center" at a parent element. We have now removed the "center", and no longer need this markup.
|
|
|
|
combinations of javascript:XXX are non-standard, and cause problems with some browsers.
|
|
in find-special-chars.
|
|
|
|
|
|
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.
|
|
|
|
|
|
privacy functions to the objects)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|