Element.php: Add "text" configuration option
Element.php: Add "text" configuration option

This makes the PHP API better match the JS API, even though it's a little
redundant on the PHP side.

Change-Id: I085e6a72a15eb31f58177201f2b088b16ccf27b7

wikimedia/oojs-ui,wikimedia/oojs-ui,wikimedia/oojs-ui,wikimedia/oojs-ui