You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
312 lines
15 KiB
312 lines
15 KiB
<?xml version="1.0"?>
|
|
<psalm
|
|
totallyTyped="false"
|
|
resolveFromConfigFile="true"
|
|
xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
|
|
xmlns="https://getpsalm.org/schema/config"
|
|
xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd"
|
|
>
|
|
<projectFiles>
|
|
<directory name="src"/>
|
|
|
|
<file name="public/legacy.php"/>
|
|
<directory name="public/main/admin" />
|
|
<directory name="public/main/announcements"/>
|
|
<directory name="public/main/attendance"/>
|
|
<directory name="public/main/auth"/>
|
|
<!-- <directory name="public/main/badge"/>-->
|
|
<directory name="public/main/blog"/>
|
|
<directory name="public/main/calendar"/>
|
|
<!-- <directory name="public/main/chat"/>-->
|
|
<directory name="public/main/course_description"/>
|
|
<directory name="public/main/course_info"/>
|
|
<!-- <directory name="public/main/course_progress"/>-->
|
|
<!-- <directory name="public/main/coursecopy"/>-->
|
|
<directory name="public/main/create_course"/>
|
|
<directory name="public/main/dashboard"/>
|
|
<!-- <directory name="public/main/dropbox"/>-->
|
|
<!-- <directory name="public/main/exercise"/>-->
|
|
<file name="public/main/exercise/oral_expression.class.php"/>
|
|
|
|
<file name="public/main/exercise/TestCategory.php"/>
|
|
<file name="public/main/exercise/exercise.class.php"/>
|
|
|
|
<directory name="public/main/gradebook"/>
|
|
<directory name="public/main/group"/>
|
|
<directory name="public/main/forum"/>
|
|
<!-- <directory name="public/main/gamification"/>-->
|
|
<directory name="public/main/glossary"/>
|
|
<directory name="public/main/group"/>
|
|
<directory name="public/main/link" />
|
|
<!-- <directory name="public/main/lp"/>-->
|
|
<directory name="public/main/messages" />
|
|
<!-- <directory name="public/main/mySpace" />-->
|
|
<directory name="public/main/notebook" />
|
|
<directory name="public/main/session" />
|
|
<directory name="public/main/social" />
|
|
<!-- <directory name="public/main/survey" />-->
|
|
<!-- <directory name="public/main/inc/ajax" />-->
|
|
<!-- <directory name="public/main/ticket" />-->
|
|
<!-- <directory name="public/main/tracking" />-->
|
|
<!-- <directory name="public/main/upload" />-->
|
|
<directory name="public/main/user" />
|
|
<!-- <directory name="public/main/webservices" />-->
|
|
<!-- <directory name="public/main/wiki" />-->
|
|
<directory name="public/main/work" />
|
|
|
|
<file name="public/main/inc/lib/access_url_edit_courses_to_url_functions.lib.php"/>
|
|
<file name="public/main/inc/lib/access_url_edit_sessions_to_url_functions.lib.php"/>
|
|
<file name="public/main/inc/lib/access_url_edit_users_to_url_functions.lib.php"/>
|
|
<file name="public/main/inc/lib/add_course.lib.inc.php"/>
|
|
<file name="public/main/inc/lib/add_courses_to_session_functions.lib.php"/>
|
|
<file name="public/main/inc/lib/agenda.lib.php"/>
|
|
<file name="public/main/inc/lib/AnnouncementEmail.php"/>
|
|
<file name="public/main/inc/lib/AnnouncementManager.php"/>
|
|
<!-- <file name="public/main/inc/lib/api.lib.php"/>-->
|
|
<file name="public/main/inc/lib/array.lib.php"/>
|
|
<file name="public/main/inc/lib/attendance.lib.php"/>
|
|
<file name="public/main/inc/lib/auth.lib.php"/>
|
|
<!-- <file name="public/main/inc/lib/baker.lib.php"/>-->
|
|
<!-- <file name="public/main/inc/lib/blog.lib.php"/>-->
|
|
<file name="public/main/inc/lib/career.lib.php"/>
|
|
<!-- <file name="public/main/inc/lib/certificate.lib.php"/>-->
|
|
<file name="public/main/inc/lib/course.lib.php"/>
|
|
<file name="public/main/inc/lib/course_category.lib.php"/>
|
|
<!-- <file name="public/main/inc/lib/course_description.lib.php"/>-->
|
|
<!-- <file name="public/main/inc/lib/course_home.lib.php"/>-->
|
|
<file name="public/main/inc/lib/course_request.lib.php"/>
|
|
<file name="public/main/inc/lib/display.lib.php"/>
|
|
<!-- <file name="public/main/inc/lib/CoursesAndSessionsCatalog.class.php"/>-->
|
|
<file name="public/main/inc/lib/dashboard.lib.php"/>
|
|
<!-- <file name="public/main/inc/lib/database.lib.php"/>-->
|
|
<!-- <file name="public/main/inc/lib/diagnoser.lib.php"/>-->
|
|
|
|
<!-- <file name="public/main/inc/lib/events.lib.php"/>-->
|
|
<!-- <file name="public/main/inc/lib/exercise.lib.php"/>-->
|
|
<file name="public/main/inc/lib/exercise_show_functions.lib.php"/>
|
|
<!-- <file name="public/main/inc/lib/ExerciseCategoryManager.php"/>-->
|
|
<!-- <file name="public/main/inc/lib/export.lib.inc.php"/>-->
|
|
|
|
<file name="public/main/inc/lib/extra_field.lib.php"/>
|
|
<file name="public/main/inc/lib/extra_field_option.lib.php"/>
|
|
<!-- <file name="public/main/inc/lib/extra_field_value.lib.php"/>-->
|
|
|
|
<file name="public/main/inc/lib/glossary.lib.php"/>
|
|
<file name="public/main/inc/lib/grade_model.lib.php"/>
|
|
<file name="public/main/inc/lib/gradebook.lib.php"/>
|
|
<file name="public/main/inc/lib/groupmanager.lib.php"/>
|
|
<!-- <file name="public/main/inc/lib/image.lib.php"/>-->
|
|
<file name="public/main/inc/lib/import.lib.php"/>
|
|
<file name="public/main/inc/lib/internationalization.lib.php"/>
|
|
<file name="public/main/inc/lib/legal.lib.php"/>
|
|
<file name="public/main/inc/lib/link.lib.php"/>
|
|
<file name="public/main/inc/lib/lp_item.lib.php"/>
|
|
<file name="public/main/inc/lib/MailTemplateManager.php"/>
|
|
<file name="public/main/inc/lib/message.lib.php"/>
|
|
<file name="public/main/inc/lib/model.lib.php"/>
|
|
<!-- <file name="public/main/inc/lib/MoodleImport.php"/>-->
|
|
<!-- <file name="public/main/inc/lib/myspace.lib.php"/>-->
|
|
<file name="public/main/inc/lib/notebook.lib.php"/>
|
|
<file name="public/main/inc/lib/notification.lib.php"/>
|
|
<file name="public/main/inc/lib/NotificationEvent.php"/>
|
|
<file name="public/main/inc/lib/online.inc.php"/>
|
|
<!-- <file name="public/main/inc/lib/pdf.lib.php"/>-->
|
|
<!-- <file name="public/main/inc/lib/plugin.class.php"/>-->
|
|
<!-- <file name="public/main/inc/lib/plugin.lib.php"/>-->
|
|
<file name="public/main/inc/lib/redirect.class.php"/>
|
|
<file name="public/main/inc/lib/ScheduledAnnouncement.php"/>
|
|
<!-- <file name="public/main/inc/lib/security.lib.php"/>-->
|
|
|
|
|
|
|
|
<file name="public/main/inc/lib/sessionmanager.lib.php"/>
|
|
<!-- <file name="public/main/inc/lib/skill.lib.php"/>-->
|
|
<file name="public/main/inc/lib/skill.visualizer.lib.php"/>
|
|
<file name="public/main/inc/lib/social.lib.php"/>
|
|
<file name="public/main/inc/lib/sortable_table.class.php"/>
|
|
<file name="public/main/inc/lib/SortableTableFromArray.php"/>
|
|
<file name="public/main/inc/lib/SortableTableFromArrayConfig.php"/>
|
|
<file name="public/main/inc/lib/specific_fields_manager.lib.php"/>
|
|
<file name="public/main/inc/lib/statistics.lib.php"/>
|
|
<file name="public/main/inc/lib/SurveyTree.php"/>
|
|
<file name="public/main/inc/lib/system_announcements.lib.php"/>
|
|
<file name="public/main/inc/lib/table_sort.class.php"/>
|
|
<file name="public/main/inc/lib/tablesort.lib.php"/>
|
|
<file name="public/main/inc/lib/TeacherTimeReport.php"/>
|
|
|
|
<file name="public/main/inc/lib/template.lib.php"/>
|
|
<file name="public/main/inc/lib/text.lib.php"/>
|
|
<file name="public/main/inc/lib/thematic.lib.php"/>
|
|
<!-- <file name="public/main/inc/lib/TicketManager.php"/>-->
|
|
<file name="public/main/inc/lib/timeline.lib.php"/>
|
|
<file name="public/main/inc/lib/UnserializeApi.php"/>
|
|
<!-- <file name="public/main/inc/lib/tracking.lib.php"/>-->
|
|
<file name="public/main/inc/lib/urlmanager.lib.php"/>
|
|
<file name="public/main/inc/lib/usergroup.lib.php"/>
|
|
<!-- <file name="public/main/inc/lib/usermanager.lib.php"/>-->
|
|
<file name="public/main/inc/lib/userportal.lib.php"/>
|
|
<file name="public/main/inc/lib/VideoChat.php"/>
|
|
|
|
<ignoreFiles>
|
|
<directory name="vendor/*"/>
|
|
<directory name="src/CoreBundle/Menu"/>
|
|
<directory name="src/CoreBundle/Component/Editor"/>
|
|
<directory name="src/CourseBundle/Component/CourseCopy"/>
|
|
<directory name="src/GraphQlBundle"/>
|
|
<directory name="src/LtiBundle"/>
|
|
|
|
<file name="public/main/lp/openoffice_presentation.class.php"/>
|
|
<file name="public/main/lp/openoffice_document.class.php"/>
|
|
<file name="public/main/lp/openoffice_text.class.php"/>
|
|
<file name="public/main/lp/openoffice_text_document.class.php"/>
|
|
|
|
<file name="public/main/admin/index.php"/>
|
|
|
|
<file name="public/main/admin/db.php"/>
|
|
<file name="public/main/admin/settings.php"/>
|
|
<file name="public/main/admin/periodic_export.php"/>
|
|
<file name="public/main/admin/user_move_stats.php"/>
|
|
<file name="public/main/admin/settings.lib.php"/>
|
|
<file name="public/main/admin/user_update_import.php"/>
|
|
<file name="public/main/admin/teachers_time_by_session_report.php"/>
|
|
<file name="public/main/admin/specific_fields.php"/>
|
|
<file name="public/main/admin/sub_language*"/>
|
|
|
|
<file name="public/main/admin/ldap_*"/>
|
|
<file name="public/main/admin/special_exports.php"/>
|
|
|
|
<file name="src/CoreBundle/Controller/EditorController.php"/>
|
|
<file name="src/CoreBundle/Controller/ResourceController.php"/>
|
|
</ignoreFiles>
|
|
</projectFiles>
|
|
|
|
<issueHandlers>
|
|
|
|
<RedundantCastGivenDocblockType errorLevel="info"/>
|
|
|
|
|
|
<InvalidClass errorLevel="info"/>
|
|
|
|
<LessSpecificReturnType errorLevel="info"/>
|
|
|
|
<LessSpecificReturnType errorLevel="info"/>
|
|
|
|
<!-- level 3 issues - slightly lazy code writing, but provably low false-negatives -->
|
|
|
|
<DeprecatedClass errorLevel="info"/>
|
|
<DeprecatedInterface errorLevel="info"/>
|
|
|
|
<MissingClosureReturnType errorLevel="info"/>
|
|
<MissingReturnType errorLevel="info"/>
|
|
<MissingPropertyType errorLevel="info"/>
|
|
<InvalidDocblock errorLevel="info"/>
|
|
|
|
<PropertyNotSetInConstructor errorLevel="info"/>
|
|
<MissingConstructor errorLevel="info"/>
|
|
<MissingClosureParamType errorLevel="info"/>
|
|
<MissingParamType errorLevel="info"/>
|
|
|
|
<RedundantCondition errorLevel="info"/>
|
|
|
|
<DocblockTypeContradiction errorLevel="info"/>
|
|
<RedundantConditionGivenDocblockType errorLevel="info"/>
|
|
|
|
<UnresolvableInclude errorLevel="info"/>
|
|
|
|
<RawObjectIteration errorLevel="info"/>
|
|
|
|
<InvalidStringClass errorLevel="info"/>
|
|
|
|
<!-- level 4 issues - points to possible deficiencies in logic, higher false-positives -->
|
|
|
|
<MoreSpecificReturnType errorLevel="info"/>
|
|
<LessSpecificReturnStatement errorLevel="info"/>
|
|
<ArgumentTypeCoercion errorLevel="info"/>
|
|
|
|
<PossiblyFalseArgument errorLevel="info"/>
|
|
<PossiblyFalseIterator errorLevel="info"/>
|
|
<PossiblyFalseOperand errorLevel="info"/>
|
|
<PossiblyFalsePropertyAssignmentValue errorLevel="info"/>
|
|
<PossiblyFalseReference errorLevel="info"/>
|
|
<PossiblyInvalidArgument errorLevel="info"/>
|
|
<PossiblyInvalidArrayAccess errorLevel="info"/>
|
|
<PossiblyInvalidArrayAssignment errorLevel="info"/>
|
|
<PossiblyInvalidArrayOffset errorLevel="info"/>
|
|
<PossiblyInvalidCast errorLevel="info"/>
|
|
<PossiblyInvalidFunctionCall errorLevel="info"/>
|
|
<PossiblyInvalidIterator errorLevel="info"/>
|
|
<PossiblyInvalidMethodCall errorLevel="info"/>
|
|
<PossiblyInvalidOperand errorLevel="info"/>
|
|
<PossiblyInvalidPropertyAssignment errorLevel="info"/>
|
|
<PossiblyInvalidPropertyAssignmentValue errorLevel="info"/>
|
|
<PossiblyInvalidPropertyFetch errorLevel="info"/>
|
|
<PossiblyNullArgument errorLevel="info"/>
|
|
<PossiblyNullArrayAccess errorLevel="info"/>
|
|
<PossiblyNullArrayAssignment errorLevel="info"/>
|
|
<PossiblyNullArrayOffset errorLevel="info"/>
|
|
<PossiblyNullFunctionCall errorLevel="info"/>
|
|
<PossiblyNullIterator errorLevel="info"/>
|
|
<PossiblyNullOperand errorLevel="info"/>
|
|
<PossiblyNullPropertyAssignment errorLevel="info"/>
|
|
<PossiblyNullPropertyAssignmentValue errorLevel="info"/>
|
|
<PossiblyNullPropertyFetch errorLevel="info"/>
|
|
<PossiblyNullReference errorLevel="info"/>
|
|
<PossiblyUndefinedGlobalVariable errorLevel="info"/>
|
|
<PossiblyUndefinedVariable errorLevel="info"/>
|
|
<PossiblyUndefinedArrayOffset errorLevel="info"/>
|
|
<PossiblyUndefinedMethod errorLevel="info"/>
|
|
<PossibleRawObjectIteration errorLevel="info"/>
|
|
|
|
<!-- level 5 issues - should be avoided at most costs... -->
|
|
|
|
<ForbiddenCode errorLevel="info"/>
|
|
<ImplicitToStringCast errorLevel="info"/>
|
|
<InvalidScalarArgument errorLevel="info"/>
|
|
<InvalidToString errorLevel="info"/>
|
|
<InvalidOperand errorLevel="info"/>
|
|
<NoInterfaceProperties errorLevel="info"/>
|
|
<TooManyArguments errorLevel="info"/>
|
|
<TypeDoesNotContainType errorLevel="info"/>
|
|
<TypeDoesNotContainNull errorLevel="info"/>
|
|
<MissingDocblockType errorLevel="info"/>
|
|
<ImplementedReturnTypeMismatch errorLevel="info"/>
|
|
<ImplementedParamTypeMismatch errorLevel="info"/>
|
|
|
|
<!-- level 6 issues - really bad things -->
|
|
|
|
<InvalidNullableReturnType errorLevel="info"/>
|
|
<NullableReturnStatement errorLevel="info"/>
|
|
<InvalidFalsableReturnType errorLevel="info"/>
|
|
<FalsableReturnStatement errorLevel="info"/>
|
|
|
|
<MoreSpecificImplementedParamType errorLevel="info"/>
|
|
<LessSpecificImplementedReturnType errorLevel="info"/>
|
|
|
|
<InvalidReturnStatement errorLevel="info"/>
|
|
<InvalidReturnType errorLevel="info"/>
|
|
<UndefinedThisPropertyAssignment errorLevel="info"/>
|
|
<UndefinedInterfaceMethod errorLevel="info"/>
|
|
|
|
<!-- level 7 issues - even worse -->
|
|
|
|
<UndefinedThisPropertyAssignment errorLevel="info"/>
|
|
<UndefinedPropertyAssignment errorLevel="info"/>
|
|
<UndefinedThisPropertyFetch errorLevel="info"/>
|
|
<UndefinedPropertyFetch errorLevel="info"/>
|
|
|
|
<InvalidReturnStatement errorLevel="info"/>
|
|
<InvalidReturnType errorLevel="info"/>
|
|
<InvalidArgument errorLevel="info"/>
|
|
<InvalidPropertyAssignmentValue errorLevel="info"/>
|
|
<InvalidArrayOffset errorLevel="info"/>
|
|
<InvalidArrayAssignment errorLevel="info"/>
|
|
<InvalidArrayAccess errorLevel="info"/>
|
|
<InvalidClone errorLevel="info"/>
|
|
|
|
|
|
</issueHandlers>
|
|
<plugins>
|
|
<pluginClass class="Weirdan\DoctrinePsalmPlugin\Plugin"/>
|
|
<pluginClass class="Psalm\SymfonyPsalmPlugin\Plugin"/>
|
|
</plugins>
|
|
</psalm>
|
|
|