fix annotation for operations

Change the PHPDoc for $operations to Operation[], instead of array