Improved 'find-bad-php.sh' with a lint check + updated 'core'.

[shipsimu.git] / core

diff --git a/core b/core
index fd0314ec6209175eff537c5358fc67484618f672..f1483fbeae4881d349f9b9558340d1d56b0aab78 160000 (submodule)
--- a/core
+++ b/core
@@ -1 +1 @@
-Subproject commit fd0314ec6209175eff537c5358fc67484618f672
+Subproject commit f1483fbeae4881d349f9b9558340d1d56b0aab78