(Php) fix >>> implementation (closes #2845)