Ignore prefs (differ between home and work)
Shorten common php shorttags