Updated mediawiki/extensions
Project: mediawiki/extensions/WikiEditor  e7251d7dc5690602ec20dd8ce0e271d778d180fa

Remove padding from Textbox

The padding for wpTextbox1 (on Editpage) conflicts with mediawikui.

Bug: 70194
Change-Id: I251256ef17a4ac978cb2d7bbd62daaa84fcc4843