Derived libraries in PHP