Rename pagination_head.php to filter_header.php as this is a more suitable name for its function

This commit is contained in:
johnnyq
2024-09-20 13:58:30 -04:00
parent c9f3d17f12
commit 8498f01f6c
6 changed files with 6 additions and 6 deletions

View File

@@ -20,4 +20,4 @@ require_once "inc_wrapper.php";
require_once "inc_alert_feedback.php";
require_once "pagination_head.php";
require_once "filter_header.php";