wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-12-13 08:30:31 +00:00
Code Issues Packages Projects Releases Wiki Activity
1217 commits 12 branches 11 tags 18 MiB
Commit graph

1 commit

Author SHA1 Message Date
Reedy 2276363a99 Cleanup SchemaHooks and SQL files 
* Move MySQL files into subfolder
* Simplify onLoadExtensionSchemaUpdates hook by using variable for dbType
* Document what MW version patches were added

Bug: T353922
Change-Id: I4b87481163121047619d173675747feef4d8ede1
 2023-12-22 02:13:52 +00:00
Renamed from sql/patch-linter-add-namespace.sql (Browse further)