D25830
D25830
Fix PHP 8.1 "strlen(null)" exception rendering JSON file as Jupyter
Author: aklapper
Reviewers: O1: Blessed Committers, speck
Summary: `strlen()` was used in Phabricator to check if a generic value is a non-empty string.
This behavior is deprecated sinceā¦