We're not using php_error anymore

2018-12-12 23:37:35 +00:00 · 2018-12-12 23:37:35 +00:00 · 0cd0b8d281
parent 87fdb1440c
commit 0cd0b8d281
2 changed files with 1 additions and 4817 deletions
--- a/build.sh
+++ b/build.sh
@ -102,7 +102,7 @@ function task_docs {
 		--directory . \
 		--target docs/ModuleApi\
 		--cache-folder build/_tmp/ModuleApiCache \
-		--ignore build/,php_error.php,Parsedown*,*.html \
+		--ignore build/,Parsedown*,*.html \
 		--title "Pepperminty Wiki Module API" \
 		--visibility public;
 	task_end $?;
--- a/php_error.php
+++ b/php_error.php