mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/Scribunto
synced 2024-11-28 02:00:01 +00:00
846495fe45
Bug: T328220 Change-Id: I38be06abdabff29276f07c378f3ef434973fb8d6
9 lines
139 B
PHP
9 lines
139 B
PHP
<?php
|
|
|
|
namespace MediaWiki\Extension\Scribunto\Engines\LuaCommon;
|
|
|
|
use Exception;
|
|
|
|
class LuaInterpreterNotFoundError extends Exception {
|
|
}
|