Removing unnecessary space from the end of the page heading.
authorAmir E. Aharoni <amir.aharoni@mail.huji.ac.il>
Wed, 2 May 2012 12:34:27 +0000 (15:34 +0300)
committerAmir E. Aharoni <amir.aharoni@mail.huji.ac.il>
Wed, 2 May 2012 12:35:36 +0000 (15:35 +0300)
commit6011f2d2f496754c8f493923898e65a2c86bfb06
tree326e99a9bbea5fb626311366de2e70d23189a1d9
parentd7f3f6be143fe379609d526cf79bb3064c936f73
Removing unnecessary space from the end of the page heading.

Addresses a comment Fomafix made at
http://www.mediawiki.org/wiki/Special:Code/MediaWiki/105870#c32772

Change-Id: Ic9887a079734b28155f46ffaeedec02ff8ad81ca
skins/Vector.php