A php sem utility