todo-builder.sh does now look case-insensitiv and for @deprecated

diff --git a/DOCS/todo-builder.sh b/DOCS/todo-builder.sh
index 52c4164ab986beab0388e092b31346c700ef53b2..821aa6801edbab69a2d128fad60cc0731d4f2ea4 100644 (file)
--- a/DOCS/todo-builder.sh
+++ b/DOCS/todo-builder.sh
@@ -11,6 +11,8 @@ fi
 echo "$0: Generating TODOs.txt..."
 echo "### WARNING: THIS FILE IS AUTO-GENERATED BY $0 ###" > DOCS/TODOs.txt
 echo "### DO NOT EDIT THIS FILE. ###" >> DOCS/TODOs.txt
 echo "$0: Generating TODOs.txt..."
 echo "### WARNING: THIS FILE IS AUTO-GENERATED BY $0 ###" > DOCS/TODOs.txt
 echo "### DO NOT EDIT THIS FILE. ###" >> DOCS/TODOs.txt

-find -type f -name "*.php" -exec grep -Hn "@TODO" {} \; | sort >> DOCS/TODOs.txt
+find -type f -name "*.php" -exec grep -Hin "@TODO" {} \; | sort >> DOCS/TODOs.txt
+echo "### ### DEPRECATION FOLLOWS: ### ###" >> docs/TODOs.txt
+find -type f -name "*.php" -exec grep -Hin "@DEPRECATED" {} \; | sort >> docs/TODOs.txt

 echo "$0: Done."
 exit 0
 echo "$0: Done."
 exit 0