Make getSingleton() public to be PHP 5.3 compatible again.