Definitively drop PHP5.3.
[auto] Merge from Core

    • #d7882ea — Definitively drop PHP5.3. (Ivan Enderlin, 2014-09-24)

---

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