mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-12-04 12:48:11 +00:00
073a365759
Revert "Revert "Namespace LuaCommon""
This reverts commit 18d122b60d.
Change-Id: I74fd43f7920c8772e9078f745ac6062d5461a7f1
9 lines
143 B
PHP
9 lines
143 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\Scribunto\Engines\LuaCommon;
|
|
|
|
use MWException;
|
|
|
|
class LuaInterpreterNotFoundError extends MWException {
|
|
}
|