joomla/joomla-platform — pull request #700 by ssv445 (2012-01-03 08:02:13+00:00)
Title: Update libraries/joomla/application/menu.php

This will allow developers to override the menu class.