The session class has a push method but no pop method

Since the Session drivers work hand-in-hand with core PHP functionality, you don't need special features for this. You can modify $_SESSION directly. So what you've shown is perfect solution.

The only reason we've kept some of the old methods from prior versions of CI is to maintain some backward compatibility and some features like Flash so you don't have to manage it yourself. Otherwise, once the session is initialized with session() you can manipulate $_SESSION directly and it will use the driver you've chosen in the config file.

Support Development •  CodeIgniter 4 Foundations • Practical CodeIgniter 3  • CodeIgniter Tutorials