Although the WMF does not use update.php, it is the standard way for other installations to do initial DB setup when an extension is installed. For GettingStarted, this means it should populate Redis with the initial set of articles.
I believe Ori has a script for this, but it's not currently in git.
Version: unspecified
Severity: normal