Minimal PHP function libraries