Drop PHP5.3.
[auto] Merge from Realdom

    • #e4b1337 — Drop PHP5.3. (Ivan Enderlin, 2014-09-17)

---

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