Theme.php: Actually make abstract in PHP
Theme.php: Actually make abstract in PHP

Change-Id: Ia963903d525bc2f62d02d771819dde106d057564

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