jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/359811 )
Change subject: Convert Index: Pages editing form to OOjsUI
..
Convert Index: Pages editing form to OOjsUI
The editing
Amritsreekumar has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/359811 )
Change subject: Convert Index: Pages editing form to OOjsUI
..
Convert Index: Pages editing form to OOjsUI
[WiP]: The editing
Amritsreekumar has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/359648 )
Change subject: Convert Index: Pages editing form to OOjsUI
..
Convert Index: Pages editing form to OOjsUI
[WiP]: The Index: Pages