joomla/joomla-platform — pull request #583 by realityking (2011-12-02 22:39:37+00:00)
Title: Change the way core.js is loaded.

Since core.js requires MooTools anyways we don't need to be able to load it without MooTools.