Better fix for bug 36049, now using isset() rather than !empty()
authorawjrichards <arichards@wikimedia.org>
Fri, 20 Apr 2012 23:18:50 +0000 (16:18 -0700)
committerawjrichards <arichards@wikimedia.org>
Fri, 20 Apr 2012 23:18:50 +0000 (16:18 -0700)
commitfb01ab5dcfc80216f0540f2464c6f7c6c1d51fac
tree85861c0797a9cfdfbbae4d753d7ff37077fddf26
parent1220218f6ea68c73ec35267a06cea64885eaa3aa
Better fix for bug 36049, now using isset() rather than !empty()
for textarea placeholder attribute in case the attribute value
is '0'.

Change-Id: I139abff427d7342fc3283ed3428d0a538331d2b5
includes/HTMLForm.php