One would hope we have no .php3 files left laying around

diff --git a/maintenance/Doxyfile b/maintenance/Doxyfile
index 3d03765..b1a1b7a 100644 (file)
--- a/maintenance/Doxyfile
+++ b/maintenance/Doxyfile
@@ -113,7 +113,7 @@ FILE_PATTERNS          = *.c \
                          *.odl \
                          *.cs \
                          *.php \
-                         *.php3 \
+                         *.php5 \
                          *.inc \
                          *.m \
                          *.mm \
@@ -129,7 +129,7 @@ FILE_PATTERNS          = *.c \
                          *.H++ \
                          *.CS \
                          *.PHP \
-                         *.PHP3 \
+                         *.PHP5 \
                          *.M \
                          *.MM \
                          *.PY