umherirrender 9d19d7342a Remove a bunch of trailing spaces and unneeded newlines ... Change-Id: I7db616db8c969567d420c0161fa207b366e292b6		2012-10-19 22:03:05 +02:00
..
Hardcoded.php
MediaWiki.php	Remove a bunch of trailing spaces and unneeded newlines	2012-10-19 22:03:05 +02:00
vB.php