A class to manage flags in PHP