This file should only be accessed by add_button.php!