Fixes missing php.mako