How to create a language changer with PHP
These files accompany the tutorial: How to create a language changer with PHP