Standard library for php