Second patch in updating to mediawiki 1.23

Change-Id: I38e272136d167bed297a106e720d6259eb611f5b