Marijn button #99

Merged
11166932 merged 152 commits from marijn-button into master 2017-01-23 13:25:08 +01:00
Showing only changes of commit 3752f3cd33 - Show all commits

View File

@@ -12,8 +12,8 @@
if(isset($_SESSION["userID"])){ if(isset($_SESSION["userID"])){
echo "<script> echo "<script>
window.onload=checkLoggedIn(); window.onload=checkLoggedIn();
</script>" </script>";
} }
// Define variables and set to empty values // Define variables and set to empty values