Add dependency upon oojs/ui's PHP port