[MediaWiki-commits] [Gerrit] mediawiki/core[wmf/1.31.0-wmf.11]: Revert replacing textarea in Special:Undelete with OOUI

2017-12-11 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/396465 ) Change subject: Revert replacing textarea in Special:Undelete with OOUI .. Revert replacing textarea in Special:Undelete with OO

[MediaWiki-commits] [Gerrit] mediawiki/core[wmf/1.31.0-wmf.11]: Revert replacing textarea in Special:Undelete with OOUI

2017-12-08 Thread Brian Wolff (Code Review)
Brian Wolff has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/396465 ) Change subject: Revert replacing textarea in Special:Undelete with OOUI .. Revert replacing textarea in Special:Undelete with OOUI OOUI