Restore compatibility with PHP5.3.3.
[auto] Merge from Core

    • #720df4e — Restore compatibility with PHP5.3.3. (Ivan Enderlin, 2014-03-25)

---

Merge branch 'master' of /var/lib/git/repositories/Library/Core