case 'pagetriage':
				$files = [ 'tables-generated.sql' ];
				$path = "$IP/extensions/PageTriage/sql/mysql";
				break;

reedy@deployment-deploy03:~$ sql zhwiki
Reading table information for completion of table and column names
You can turn off this feature to get a quicker startup with -A

Welcome to the MariaDB monitor.  Commands end with ; or \g.
Your MariaDB connection id is 17739678
Server version: 10.6.16-MariaDB-log MariaDB Server

Copyright (c) 2000, 2018, Oracle, MariaDB Corporation Ab and others.

Type 'help;' or '\h' for help. Type '\c' to clear the current input statement.

MariaDB [zhwiki]> select * from pagetriage_tags;
+-------------+--------------------+---------------------------------------------------------------------------------+
| ptrt_tag_id | ptrt_tag_name      | ptrt_tag_desc                                                                   |
+-------------+--------------------+---------------------------------------------------------------------------------+
|           1 | linkcount          | Number of inbound links                                                         |
|           2 | category_count     | Category mapping count                                                          |
|           3 | csd_status         | CSD status                                                                      |
|           4 | prod_status        | PROD status                                                                     |
|           5 | blp_prod_status    | BLP PROD status                                                                 |
|           6 | afd_status         | AFD status                                                                      |
|           7 | rev_count          | Number of edits to the article                                                  |
|           8 | page_len           | Number of bytes of article                                                      |
|           9 | snippet            | Beginning of article snippet                                                    |
|          10 | user_name          | User name                                                                       |
|          11 | user_editcount     | User total edit                                                                 |
|          12 | user_creation_date | User registration date                                                          |
|          13 | user_autoconfirmed | Check if user is autoconfirmed                                                  |
|          14 | user_experience    | Experience level: newcomer, learner, experienced or anonymous                   |
|          15 | user_bot           | Check if user is in bot group                                                   |
|          16 | user_block_status  | User block status                                                               |
|          17 | user_id            | User id                                                                         |
|          18 | reference          | Check if page has references                                                    |
|          19 | afc_state          | The submission state of drafts                                                  |
|          20 | copyvio            | Latest revision ID that has been tagged as a likely copyright violation, if any |
|          21 | recreated          | Check if the page has been previously deleted.                                  |
+-------------+--------------------+---------------------------------------------------------------------------------+
21 rows in set (0.001 sec)