Get rid of preg_replace( '/.../e', ... )

This is deprecated as of PHP 5.5, and the remaining uses are quite
silly. Tim said I should remove his easter egg from Special:Version,
as it already was broken, and a new one can be added in a separate
commit.

Change-Id: I0f09f4efc7afe5933c8317462026a475530a5324