wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-23 15:36:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Move sql file into own folder

Browse source 
Change-Id: I12ed78d755426644011fca7595dd82192825859f
This commit is contained in:
Umherirrender 2019-03-08 21:41:35 +01:00
parent e649f3029b
commit e47e471799
2 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/Hooks.php
View file

@ -33,7 +33,7 @@ class Hooks {
* @param DatabaseUpdater $updater
*/
public static function onLoadExtensionSchemaUpdates( DatabaseUpdater $updater ) {
$dir = dirname( __DIR__ );
$dir = dirname( __DIR__ ) . '/sql';
$updater->addExtensionTable( 'linter', "$dir/linter.sql" );
}

0
linter.sql → sql/linter.sql
View file