browsergame/libs/HeaderWrapper.php

<?php
class HeaderWrapper {
	public function location($url) {
		header("Location: " . $url);
	}
}