Merge "Add dependency upon oojs/ui's PHP port"