| Línea 953... | Línea 953... | 
          
            | 953 |      * Checks the database schema against a schema specified by an xmldb_structure object
 | 953 |      * Checks the database schema against a schema specified by an xmldb_structure object
 | 
          
            | 954 |      * @param xmldb_structure $schema export schema describing all known tables
 | 954 |      * @param xmldb_structure $schema export schema describing all known tables
 | 
          
            | 955 |      * @param array $options
 | 955 |      * @param array $options
 | 
          
            | 956 |      * @return array keyed by table name with array of difference messages as values
 | 956 |      * @return array keyed by table name with array of difference messages as values
 | 
          
            | 957 |      */
 | 957 |      */
 | 
          
            | 958 |     public function check_database_schema(xmldb_structure $schema, array $options = null) {
 | 958 |     public function check_database_schema(xmldb_structure $schema, ?array $options = null) {
 | 
          
            | 959 |         $alloptions = array(
 | 959 |         $alloptions = array(
 | 
          
            | 960 |             'extratables' => true,
 | 960 |             'extratables' => true,
 | 
          
            | 961 |             'missingtables' => true,
 | 961 |             'missingtables' => true,
 | 
          
            | 962 |             'extracolumns' => true,
 | 962 |             'extracolumns' => true,
 | 
          
            | 963 |             'missingcolumns' => true,
 | 963 |             'missingcolumns' => true,
 |