fix: handle null results in get_dir_file_info() #6349

	# When a Pull Request is opened that modifies
	# the User Guide source, build the User Guide
	# with Sphinx and let the contributor know of
	# any errors.
	name: Test User Guide

	on:
	pull_request:
	paths:
	- 'user_guide_src/**'
	- '.github/workflows/test-userguide.yml'

	concurrency:
	group: ${{ github.workflow }}-${{ github.head_ref \|\| github.run_id }}
	cancel-in-progress: true

	permissions:
	contents: read

	jobs:
	syntax_check:
	name: Check User Guide syntax
	runs-on: ubuntu-24.04

	steps:
	- name: Checkout
	uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1

	- name: Setup Python
	uses: actions/setup-python@5fda3b95a4ea91299a34e894583c3862153e4b97 # v7.0.0
	with:
	python-version: '3.12'

	- name: Install Sphinx
	run: \|
	python -m pip install --upgrade pip
	pip install -r user_guide_src/requirements.txt

	- name: Detect usage of tabs in RST files
	run: php utils/check_tabs_in_rst.php

	- name: Build Docs with Sphinx
	run: make html SPHINXOPTS="-W --keep-going -w /tmp/sphinx-log"
	working-directory: user_guide_src

Provide feedback