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.
		
		
		
		
		
			
		
			
				
					
					
						
							287 lines
						
					
					
						
							13 KiB
						
					
					
				
			
		
		
	
	
							287 lines
						
					
					
						
							13 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"/>
 | 
						|
        <file name="public/main/inc/lib/api.lib.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/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/link" />
 | 
						|
<!--        <directory name="public/main/lp"/>-->
 | 
						|
<!--        <directory name="public/main/session" />-->
 | 
						|
        <!--        <directory name="public/main/inc/ajax" />-->
 | 
						|
 | 
						|
        <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/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/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/legal.lib.php"/>
 | 
						|
        <file name="public/main/inc/lib/link.lib.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/forum/forumfunction.inc.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/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>
 | 
						|
        <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"/>
 | 
						|
        <MisplacedRequiredParam 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"/>
 | 
						|
        <TypeCoercion 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>
 | 
						|
 |